Module 2-T.Fold_Map

Parameters

• M : Interface.MONOID

Signature

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