Type definitions

Type definitions[27]:

TREE SYMBOL TypIdDef INHERITS TypeDefDefId, ChkTypeDefDefId END;
TREE SYMBOL TypIdUse INHERITS TypeDefUseId, ChkTypeDefUseId END;

RULE: type ::= TypIdUse COMPUTE
  type.Type=TypIdUse.Type;
END;

RULE: type ::= TypeDenoter COMPUTE
  type.Type=TypeDenoter.Type;
END;

RULE: type ::= Record COMPUTE
  type.Type=Record.Type;
END;

This macro is defined in definitions 27.
This macro is invoked in definition 1.