module type Fold = Fold_map.Fold
Fold_map.Fold
type t
type data
val init : t
t
val f : t -> data -> t
t -> data -> t