GENERIC INTERFACEListF (Elem, ElemList); IMPORT Word; CONST Brand = "(ListF " & Elem.Brand & ")"; TYPE T = ElemList.T; PROCEDURE Format(l: T): TEXT; (* assumes Elem.Format exists *) PROCEDURE Equal(l1,l2: T): BOOLEAN; PROCEDURE Hash(l: T): Word.T; (* assumes Elem.Hash *) END ListF.