fact: Fixpoint processInputs (d : @data base_params) (l : list (@input base_params)) : (@data base_params * list (@output base_params)) := match l with | [] => (d, []) | i :: l' => let (os, d') := @handler _ one_node_params i d in let (d'', os') := processInputs d' l' in (d'', os :: os') end.
imports: Verdi(Verdi HandlerMonad)