alg_structs

Interfaces and module combinators for algebraic structures
IN THIS PACKAGE
Parameter #1 Alg_structs . Foldable . Make . Seed
type 'a t

The principle type, which can be folded over using fold_right.

val fold_right : f:( 'a -> 'b -> 'b ) -> 'a t -> init:'b -> 'b

fold_right ~f t ~init combines the elements of t using f from the right.