Module Fold_table


module Fold_table: sig .. end

module type Fold = Fold_map.Fold
module type Fold_map = sig .. end
module Make: 
functor (Fold : Fold) -> Fold_map