sig
type
(
'
key,
'
cmp,
'
z) t = comparator:(
'
key,
'
cmp)
Comparator
.t
->
'
z
end