GENERIC INTERFACEListExtras (Elem, ElemList); CONST Brand = "(ListExtras " & Elem.Brand & ")"; TYPE T = ElemList.T; PROCEDURE MemberDelD(VAR l: T; e: Elem.T): BOOLEAN; PROCEDURE LastDelD(VAR l: T): Elem.T; PROCEDURE DeleteD(l: T; READONLY e: Elem.T): T; END ListExtras.