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