let
inject_zero_max b =
wrap (
Unhashconsed_Int_Intervals
.inject_zero_max b)