Module V1.Make
Parameters
Signature
module Map : Map.Stable.V1.S with type key := comparable with type comparator_witness := comparator_witness
module Set : Set.Stable.V1.S with type elt := comparable with type elt_comparator_witness := comparator_witness