Module type Foldable.Seed
The Seed
needed to generate an implementation of Foldable
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 oft
usingf
from the right.