module type Foldable = sig .. end
sig
end
Fold_map.Make
type t
type data
val init : t
t
val f : t -> data -> t
t -> data -> t