Module Interval_intf.S.T


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

type 'a bound 
type 'a t