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