Module Interval_intf.S.T

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

type 'a bound 

type 'a t