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