Module type V1.S

type comparable
type comparator_witness
module Map : Core_kernel.Map.Stable.V1.S with type key := comparable with type comparator_witness := comparator_witness
module Set : Core_kernel.Set.Stable.V1.S with type elt := comparable with type elt_comparator_witness := comparator_witness