let
equal_internal {v=v;h=h} {v=v';h=h'} =
h = h'
&&
Unhashconsed_Int_Intervals
.equal v v'