<<>> <> <> <> <<>> DIRECTORY CirioTypes USING [CompilerContext, Type], Rope USING [ROPE]; Definitions: CEDAR DEFINITIONS = BEGIN CC: TYPE = CirioTypes.CompilerContext; Type: TYPE = CirioTypes.Type; DefinitionTypeInfo: TYPE = REF DefinitionTypeInfoBody; DefinitionTypeInfoBody: TYPE = RECORD [ underType: Type, name: Rope.ROPE]; CreateDefinitionType: PROC [underType: Type, name: Rope.ROPE, cc: CC] RETURNS [Type]; <> <> END.