Module type Interval.S

module type S = S 
  with type 'a poly_t := 'a t 
  with type 'a poly_set := 'a Set.t