Monad.Make2_local
The same as S
except the monad type has two arguments. The second is always just passed through.
module X : Basic2_local
module Let_syntax : sig ... end
module Monad_infix : sig ... end
Same as Infix
, except the monad type has two arguments. The second is always just passed through.
val return : 'a -> ('a, _) X.t