Module `Default.Fold_Map_Plus`

Parameters

P : Interface.PLUS
F : FOLD

Signature

module I : sig ... end

val fold_map_default_left : ('a -> 'b P.t) -> 'a F.t -> 'b P.t
val fold_map_default_right : ('a -> 'b P.t) -> 'a F.t -> 'b P.t