Module type Interface.FOLDABLE

type 'a t
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
val fold_right : ('b -> 'a -> 'a) -> 'a -> 'b t -> 'a
module Fold_Map : functor (M : MONOID) -> sig ... end
module Fold_Map_Any : functor (M : MONOID_ANY) -> sig ... end
module Fold_Map_Plus : functor (P : PLUS) -> sig ... end