Module type Interface.BIFOLDABLE

type ('a, 'b) t
val bifold_left : ('c -> 'a -> 'c) -> ('c -> 'b -> 'c) -> 'c -> ('a, 'b) t -> 'c
val bifold_right : ('a -> 'c -> 'c) -> ('b -> 'c -> 'c) -> 'c -> ('a, 'b) t -> 'c
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