AQLDoc/AQL_NT_79.html

# Non-terminal symbol `DefinitionStatement`

rule(s) | occurrences

#### Description

This non-terminal denotes statements used to define various kinds of terms, types and values. It may be either one of: Explicit definition: (`DefinitionKind`) To define several kinds of shorthands for types, expressions, and values. Implicit type definition: (`StructureOrClassDeclaration`) For declaring structure or class types - both of which amount to a few (type and function value) definitions.

Defining rules for nonterminal symbol `DefinitionStatement`:

`DefinitionStatement` |  | '`define`' `DefinitionKind` `EOS`
|  | `StructureOrClassDeclaration`

Occurrences of symbol `DefinitionStatement` in body of other rules:

`Statement` |  | `DefinitionStatement`

Copyright © 2013 by Hassan Aït-Kaci; All Rights Reserved.