Copyright (c) 2000 California Institute of Technology
All rights reserved. See the file COPYRIGHT for a full description.
$Id: IntInt.i3.html,v 1.3 2010-04-29 17:18:51 wagner Exp $
INTERFACE IntInt;
TYPE
T = RECORD
key: INTEGER;
value: INTEGER;
END;
PROCEDURE Compare(a, b: T): [-1..1];
END IntInt.