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