module type S = sig ... endmodule Make_with_witnesses : functor (Key : Key_with_witnesses) -> S with module Key = Key with type comparator_witness = Key.comparator_witness with type enumeration_witness = Key.enumeration_witnessStable.V1module type S = sig ... endmodule Make_with_witnesses : functor (Key : Key_with_witnesses) -> S with module Key = Key with type comparator_witness = Key.comparator_witness with type enumeration_witness = Key.enumeration_witness