let
cardinal_less_than x n =
Unhashconsed_Int_Intervals
.cardinal_less_than x.v n