Module Interval_intf.S1.Set.T

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

type 'a t 

type 'a bound 

type 'a interval