sig type 'a t = 'a type comparator val comparator : ('a t, comparator) t_ end