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