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

MODULE Int;

PROCEDURE Equal (t, u: T): BOOLEAN = 
  BEGIN
    RETURN t = u;
  END Equal;

PROCEDURE Copy (t: T): T =
  BEGIN
    RETURN t;
  END Copy;

PROCEDURE Compare (t, u: T): [-1..1] =
  BEGIN
    IF t < u THEN
      RETURN -1;
    ELSIF t = u THEN
      RETURN 0;
    ELSE
      RETURN 1; END;
  END Compare;

PROCEDURE Hash (t: T; lessThan: CARDINAL): CARDINAL =
  BEGIN
    RETURN t MOD lessThan;
  END Hash;

BEGIN
END Int.