Module type Interval_intf.T_set

module type T_set = sig .. end

type 'a t 
type 'a bound 
type 'a interval