let narrow x y = wrap (Unhashconsed_Int_Intervals.narrow x.v y.v)