module T: Interval_intf.T with type 'a bound = bound with type 'a t = t include
Interval_intf.T
with type 'a bound = bound with
type 'a t = t include
type 'a bound
'a
type 'a t