fact: Definition inputs_m (tr : list (name * (@input PB_base_params + list (@output PB_base_params)))) : list (@input base_params) := filterMap (fun x => match x with | (Primary, inl (Request i)) => Some i | _ => None end) tr.
imports: Verdi(Verdi HandlerMonad)