fact: Definition eval_reader {E} : Env -> Handler readerE E := fun r _ e => match e with | Ask => Ret r end.
imports: Coq(List) ITree(Basics.Basics Basics.CategoryOps Core.ITreeDefinition Indexed.Sum Core.Subevent Interp.Interp Interp.Handler)