(* Last modified on Mon Oct 28 14:31:24 PST 1991 by muller *)

INTERFACE Int;

(* This interface is intended to be used as an actual argument of
   generic interfaces and modules.  It provides both the Elt, Hash and
   Order shapes based on the type INTEGER. *)


TYPE
  T = INTEGER;

PROCEDURE Equal (t, u: T): BOOLEAN;
PROCEDURE Copy (t: T): T;
PROCEDURE Compare (t, u: T): [-1..1];
PROCEDURE Hash (t: T; lessThan: CARDINAL): CARDINAL;

END Int.