types/src/Refany.m3


Copyright (C) 1994, Digital Equipment Corp.

MODULE Refany;

IMPORT Word;

PROCEDURE Equal(r1, r2: T): BOOLEAN = BEGIN RETURN r1 = r2 END Equal;

EXCEPTION Error; <*FATAL Error*>

PROCEDURE Hash(<*UNUSED*> r: T): Word.T = BEGIN RAISE Error END Hash;

PROCEDURE Compare (<*UNUSED*> r1, r2: T): [-1 .. 1] =
  BEGIN
    RAISE Error
  END Compare;

BEGIN
END Refany.