Module type Interval_intf.T


module type T = sig .. end

type 'a bound 
type 'a t