let
equal x y =
Datatype
.
Int
.equal x.nums y.nums