sig
type
(
'
key,
'
cmp,
'
z) t =
'
z
end