<<>> <> <> <> <> DIRECTORY CirioTypes USING [BasicTypeInfo, CompilerContext, Node, Type]; Atoms: CEDAR DEFINITIONS = BEGIN CC: TYPE = CirioTypes.CompilerContext; BasicTypeInfo: TYPE = CirioTypes.BasicTypeInfo; Type: TYPE = CirioTypes.Type; Node: TYPE = CirioTypes.Node; CreateAtomType: PROC [cc: CC, bti: BasicTypeInfo] RETURNS [Type]; <> <> SetAtomRecType: PROC [atomType, recType: Type, cc: CC]; AtomNodeInfo: TYPE = REF AtomNodeInfoBody; AtomNodeInfoBody: TYPE = RECORD [ atomRecType: Type, atomRecNode: Node, getPointer: PROC[data: REF ANY, cc: CC] RETURNS[CirioTypes.Node], data: REF ANY ]; CreateAtomNode: PUBLIC PROC [type: Type, info: AtomNodeInfo, cc: CC] RETURNS [Node]; CreateNilAtomNode: PUBLIC PROC [type: Type, cc: CC] RETURNS [Node]; END.