Module Tuple.Bifoldable

type ('a, 'b) t = 'a * 'b
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 : Interface.MONOID) -> sig ... end
module Fold_Map_Any : functor (M : Interface.MONOID_ANY) -> sig ... end
module Fold_Map_Plus : functor (P : Interface.PLUS) -> sig ... end