MODULE Int;

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

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

BEGIN
END Int.