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