let
inject_bounds b e =
wrap (
Unhashconsed_Int_Intervals
.inject_bounds b e)