Copyright (C) 1994, Digital Equipment Corp.
INTERFACEA pair of integers. Useful as the element type of an array, for sorting purposes.IntPair ;
TYPE T = RECORD i, j: INTEGER END (* RECORD *); PROCEDURE Compare(p1, p2: T): [-1..1];
Returns Integer.Compare(p1.i, p2.i)
PROCEDURE CompareJ(p1, p2: T): [-1..1];
Returns Integer.Compare(p1.j, p2.j)
END IntPair.