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
    include

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