module M : Base.Monad.S2val inject : ('a, 'z) M.t -> ('a -> 'z -> X.higher_kinded) tval project : ('a -> 'z -> X.higher_kinded) t -> ('a, 'z) M.tval (>>=) :
('a -> 'e -> X.higher_kinded) t ->
('a -> ('b -> 'e -> X.higher_kinded) t) ->
('b -> 'e -> X.higher_kinded) tval (>>|) :
('a -> 'e -> X.higher_kinded) t ->
('a -> 'b) ->
('b -> 'e -> X.higher_kinded) tmodule Let_syntax : sig ... endmodule Monad_infix : sig ... endval bind :
('a -> 'e -> X.higher_kinded) t ->
f:('a -> ('b -> 'e -> X.higher_kinded) t) ->
('b -> 'e -> X.higher_kinded) tval return : 'a -> ('a -> 'b -> X.higher_kinded) tval map :
('a -> 'e -> X.higher_kinded) t ->
f:('a -> 'b) ->
('b -> 'e -> X.higher_kinded) tval join :
(('a -> 'e -> X.higher_kinded) t -> 'e -> X.higher_kinded) t ->
('a -> 'e -> X.higher_kinded) tval ignore_m :
('a -> 'e -> X.higher_kinded) t ->
(unit -> 'e -> X.higher_kinded) tval all :
('a -> 'e -> X.higher_kinded) t list ->
('a list -> 'e -> X.higher_kinded) tval all_unit :
(unit -> 'e -> X.higher_kinded) t list ->
(unit -> 'e -> X.higher_kinded) t