let
cardinal_zero_or_one x =
Unhashconsed_Int_Intervals
.cardinal_zero_or_one x.v