Parameter Empty_without_value_restriction.1-Elt
val comparator : ('a t, comparator_witness) Comparator.comparator
Empty_without_value_restriction.1-Elt
val comparator : ('a t, comparator_witness) Comparator.comparator