sig
type
'
a bound = bound
type
'
a t = t
end