<> <> <> <> DIRECTORY SymbolTable USING [Base], Symbols USING [CSEIndex]; Types: DEFINITIONS = { SymbolTableBase: TYPE = SymbolTable.Base; Handle: TYPE = RECORD[ stb: SymbolTable.Base, sei: Symbols.CSEIndex]; <> Assignable: PROC [typeL, typeR: Types.Handle] RETURNS [BOOLEAN]; Equivalent: PROC [type1, type2: Types.Handle] RETURNS [BOOLEAN]; }.