<<>> <> <> <> <<>> DIRECTORY CirioTypes USING [CompilerContext, Type, Node]; Types: CEDAR DEFINITIONS = BEGIN CC: TYPE = CirioTypes.CompilerContext; Type: TYPE = CirioTypes.Type; Node: TYPE = CirioTypes.Node; CreateTypeType: PROC [cc: CC] RETURNS [Type]; <> <> <<>> TypeIndirectNodeInfo: TYPE = REF TypeIndirectNodeInfoBody; TypeIndirectNodeInfoBody: TYPE = RECORD [ getDefinitionType: PROC [data: REF ANY] RETURNS [Type], data: REF ANY ]; <<>> CreateTypeIndirectNode: PUBLIC PROC [type: Type, info: REF ANY] RETURNS [Node]; END.