Of_monad_indexed.Monad
The same as S
except the monad type has three arguments. The second and third are composed across all computation.
module Let_syntax : sig ... end
module Monad_infix : sig ... end
Same as Infix
, except the monad type has three arguments. The second and third are composed across all computation.
val return : 'a -> ('a, 'i, 'i) t