An ExtendedType.T is a EXTENDED. This interface is intended to be
used to instantiate generic interfaces and modules such as Table and
List.
INTERFACEExtendedType ; IMPORT Word; TYPE T = EXTENDED; CONST Brand = "Extended"; PROCEDURE Equal (a, b: T; ): BOOLEAN;
Returna = b. The result is undefined if eitheraorbis anNaN(not a number) value.
<* UNUSED *> PROCEDURE Hash (a: T; ): Word.T;
Return a hash value derived froma. The result is undefined if eitheraorbis anNaN(not a number) value.
PROCEDURE Compare (a, b: T; ): [-1 .. 1];
Return-1ifa < b,0ifa = b, or+1ifa > b. The result is undefined if eitheraorbis anNaN(not a number) value.
END ExtendedType.