Module Interval_intf.S1.T


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

type 'a bound 
type 'a t