Mempool.All
module Env : sig ... end
module Impl (M : Rosetta_lib.Monad_fail.S) : sig ... end
module Real : sig ... end