Module type Interval_intf.T

module type T = sig .. end

type 'a bound 

type 'a t