Module Interval_intf.S.Set.T

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

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