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