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