fact: Fixpoint interpret (k : key) (ops : list input) (init : option value) := match ops with | [] => (init, init) | op :: ops => (operate op (fst (interpret k ops init))) end.
imports: Verdi(Verdi) Coq(FMapList String) Verdi(FMapVeryWeak StateMachineHandlerMonad)