fact: Definition interp_state {E M S} {FM : Functor M} {MM : Monad M} {IM : MonadIter M} (h : E ~> stateT S M) : itree E ~> stateT S M := interp h.
imports: ExtLib(Structures.Functor Structures.Monad) ITree(Basics.Basics Basics.CategoryOps Basics.CategoryKleisli Core.ITreeDefinition Indexed.Function Indexed.Sum Core.Subevent Interp.Interp)