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