Cmt.Comparator_no_loc
type t = loc
type comparator_witness
val comparator : (t, comparator_witness) Base__Comparator.t