Module Extension_with_stable.Stable
module V1 : Stable_comparable.V1 with type t = t and type comparator_witness = comparator_witness
Extension_with_stable.Stable
module V1 : Stable_comparable.V1 with type t = t and type comparator_witness = comparator_witness