Copyright (C) 1994, Digital Equipment Corp. MODULE IntRef; IMPORT Integer; PROCEDURE Compare(a, b: T): [-1..1] = BEGIN RETURN Integer.Compare(a.key, b.key); END Compare; BEGIN END IntRef.