Comparator.Poly
val comparator : ('a t, comparator_witness) comparator
type comparator_witness
type 'a t
= 'a