The Refany interface

A Refany.T is a REFANY. This interface is intended to be used to instantiate generic interfaces and modules such as Table and List.

INTERFACE Refany;

IMPORT Word;

TYPE T = REFANY;

CONST Brand = "Refany";

PROCEDURE Equal(r1, r2: T): BOOLEAN;

Return r1 = r2.

PROCEDURE Hash(r: T): Word.T;

Cause a checked runtime error.

PROCEDURE Compare(r1, r2: T): [-1..1];

Cause a checked runtime error.

END Refany.