let
widen wh x y = wrap (
Unhashconsed_Int_Intervals
.widen wh x.v y.v)