let
intersects x y =
Unhashconsed_Int_Intervals
.intersects x.v y.v