Module type Fold_map.Fold


module type Fold = sig .. end

type t 
type data 
val init : t
val f : t -> data -> t