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) -> Fold_map
functor (
Fold
:
) ->
Fold_map