fact: Definition runHandler (h : input -> GenHandler1 data output) (inp : input) (d : data) : output * data := runGenHandler1 d (h inp).
imports: Verdi(Verdi) Coq(FMapList String) Verdi(FMapVeryWeak StateMachineHandlerMonad)