let
is_included x y =
Unhashconsed_Int_Intervals
.is_included x.v y.v