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