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