Last modified on Mon May 17 22:34:00 PDT 1993 by mjordan
UNSAFE MODULE; IMPORT RefRefTbl, Refany, Word; REVEAL Default = RefRefTbl.Default BRANDED OBJECT OVERRIDES keyEqual := KeyEqual; keyHash := KeyHash; END; PROCEDURE FRefRefTbl KeyEqual (<*UNUSED*> t: Default; READONLY k1, k2: Refany.T): BOOLEAN= BEGIN RETURN k1 = k2; END KeyEqual; PROCEDUREKeyHash (<*UNUSED*> t: Default; READONLY k: Refany.T): Word.T= BEGIN RETURN LOOPHOLE(k, Word.T); END KeyHash; BEGIN END FRefRefTbl.