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