let
from_ival_size iv s =
wrap (
Unhashconsed_Int_Intervals
.from_ival_size iv s)