let
compare i1 i2 =
Datatype
.
Int
.compare i1.tag i2.tag