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