Module type V1.S
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