Snarky_backendless.Restrict_monad
module Make2 (M : Monad_let.S2) (T : sig ... end) : Monad_let.S with type 'a t = ( 'a, T.t ) M.t
module Make3 (M : Monad_let.S3) (T : sig ... end) : Monad_let.S with type 'a t = ( 'a, T.t1, T.t2 ) M.t