Module type Fold_table.Fold


module type Fold = Fold_map.Fold

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