sig
type
'
a key =
'
a
type
(
'
a,
'
b) t = (
'
a,
'
b) t
end