module Make2: | Parameters: |
|
val bind : ('a, 'b) M.t -> ('a -> ('c, 'b) M.t) -> ('c, 'b) M.tval return : 'a -> ('a, 'b) M.tmodule Monad_infix:sig..end
include Monad_infix
val join : (('a, 'b) M.t, 'b) M.t -> ('a, 'b) M.tval map : ('a, 'b) M.t -> f:('a -> 'c) -> ('c, 'b) M.tval ignore : ('a, 'b) M.t -> (unit, 'b) M.t