let splitting_cardinal_less_than ~split_non_enumerable x n =
    Unhashconsed_Int_Intervals.splitting_cardinal_less_than
      ~split_non_enumerable x.v n