Parameter Fold.1-F

type 'a t
module Fold_Map_Any : functor (M : Interface.MONOID_ANY) -> sig ... end
module Fold_Map_Plus : functor (P : Interface.PLUS) -> sig ... end