let
pretty_typ typ fmt x =
Unhashconsed_Int_Intervals
.pretty_typ typ fmt x.v