module Make: functor (M : Amall_types.MONAD_SEQUENCE) -> functor (F : Amall_types.FUNCTOR) -> sig .. end
functor (
M
:
Amall_types.MONAD_SEQUENCE
) ->
F
Amall_types.FUNCTOR
sig
end
val mapM : ('a -> 'b M.m) -> 'a F.t -> 'b F.t M.m
('a -> 'b M.m) -> 'a F.t -> 'b F.t M.m