Module type V1.S
module Map : Map.Stable.V1.S with type key := comparable with type comparator_witness := comparator_witnessmodule Set : Set.Stable.V1.S with type elt := comparable with type elt_comparator_witness := comparator_witnessV1.Smodule Map : Map.Stable.V1.S with type key := comparable with type comparator_witness := comparator_witnessmodule Set : Set.Stable.V1.S with type elt := comparable with type elt_comparator_witness := comparator_witness