Module 1-F.Fold_Map_Plus

Parameters

• P : Interface.PLUS

Signature

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