let
pretty_debug fmt x =
Unhashconsed_Int_Intervals
.pretty fmt x.v