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.