module V1 : Core__.Import.Stable_comparable.V1 with type t = t with type comparator_witness = comparator_witness