Module Interval_intf.S1.T

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

type 'a bound 

type 'a t