Foldable.Basic2
The Basic definition for type constructors with two type variables.
Basic
type ('a, 'b) t
val fold : ('c -> 'a -> 'c) -> ('c -> 'b -> 'c) -> 'c -> ('a, 'b) t -> 'c