let cardinal_zero_or_one x =
    Unhashconsed_Int_Intervals.cardinal_zero_or_one x.v