Module 1-T.Fold_Map_Any

Parameters

• M : Interface.MONOID_ANY

Signature

val fold_map : ('a -> 'b M.t) -> 'a t -> 'b M.t