module Fold_table: sig .. end
sig
end
module type Fold = Fold_map.Fold
Fold_map.Fold
module type Fold_map = sig .. end
module Make:
functor (
Fold
:
) ->
Fold_map
with type in_value = Fold.data and type out_value = Fold.t