Env.T
module M : Rosetta_lib.Monad_fail.S
type t = {
lift : 'a 'e. ( 'a, 'e ) Core_kernel.Result.t -> ( 'a, 'e ) M.t;
}