DIRECTORYSymbols USING [SEIndex],SymbolTable USING [Base];TypeStrings: DEFINITIONS = {Code: TYPE = MACHINE DEPENDENT {definition(200b), name, record, structure, union, array, sequence, enumerated, subrange, opaque,countedZone, uncountedZone,list, relativeRef, ref, refAny, pointer, longPointer, descriptor, longDescriptor, --address--port, process, program, type,nil,any,boolean,unspecified,globalFrame, localFrame,procedure, signal, error, --transfer-- cardinal, integer, character, longInteger, longCardinal, --basic --string, stringBody, text, atomRec,mds, ordered, packed, readOnly, -- optionsreal,paint,leftParen, rightParen,safeProc,safe,var,longUnspecified};        -- not yet:  code, baseTypeString: TYPE = LONG STRING;Create: PROC[base:SymbolTable.Base, sei:Symbols.SEIndex, z:UNCOUNTED ZONE] RETURNS[TypeString];}.   ˜  TypeStrings.mesaCopyright c 1985 by Xerox Corporation.  All rights reserved.Maxwell on  11-Aug-81 10:59:55Rovner on  13-Aug-81  8:50:54Satterthwaite, May 6, 1983 1:08 pmRuss Atkinson (RRA) January 31, 1985 1:13:19 pm PSTadditons by EHSCode starts at 200b so that a typestring can be parsed rapidlya character in [000c..'Z] is a string name or lengtha character in [200b..377b] is a codethe only exception is paint(8 chars), which is always proceeded by an opaque or paint codewill complain if all of the necessary information isn't in baseASSERTION: TypePack.Equivalent[[base1,sei1],[base2,sei2]]  IFF (Create[base1,sei1]=Create[base2,sei2])   Êp  ˜ codešœ™Kšœ
Ïmœ1™<Kšœ™Kšœ™Kšœ"™"J™3—K˜ šÏk	˜	Kšœžœ˜Kšœžœ˜K˜ —Kšœžœ˜˜ šœžœžœž	œ˜ K˜K˜HK˜KšœRÏc˜]K˜K˜K˜K˜K˜K˜K˜KšœŸœ˜'Kšœ9Ÿ
˜CK˜"Kšœ Ÿ
˜*K˜K˜K˜—šœ™K˜	K˜K˜K˜Kšœ
Ÿ˜!—Kšœ>™>Kšœ4™4Kšœ%™%KšœZ™ZK˜ Kšœžœžœžœ˜K˜ šÏnœžœ/ž	œžœ˜KKšžœ˜—Kšœ?™?Kšœ;™;Kšœ-™-K˜ K˜—— …—    `  h  