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