fact: Definition interp_map {E d} : itree (mapE d +' E) ~> stateT map (itree E) := interp_state (case_ (C := IFun) handle_map pure_state).
imports: ExtLib(Core.RelDec) ITree(Basics.Basics Basics.CategoryOps Basics.CategoryKleisli Basics.Monad Indexed.Function Indexed.Sum Core.ITreeDefinition Core.Subevent Interp.Interp Interp.Handler Events.State)