Module 1-F.Fold_Map

Parameters

• M : Interface.MONOID

Signature

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