let
inject i =
wrap (
Unhashconsed_Int_Intervals
.inject i)