intpair/src/IntPair.i3


Copyright (C) 1994, Digital Equipment Corp.

INTERFACE IntPair;
A pair of integers. Useful as the element type of an array, for sorting purposes.

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.