AQLDoc/AQL_NT_83.html

# Non-terminal symbol `DefinitionKind`

rule(s) | occurrences

#### Description

This non-terminal denotes statements used to declare or define various AQL language concepts: Operator definition: ('`operator`') To define a new, or redefine an existing, operator symbol. Signature definition: ('`signature`') To declare the type of a yet to be defined symbol (an `Operator`).

Defining rules for nonterminal symbol `DefinitionKind`:

`DefinitionKind` |  | '`operator`' `Operator` `SPECIFIER` `INT`
|  | '`signature`' `Operator` `Typing`
|  | '`type`' '`alias`' `ID` `TypeParameters_opt` '`=`' `Type`
|  | '`type`' '`name`' `ID` `TypeParameters_opt` '`=`' `Type`
|  | '`value`' `Definition`
|  | `Definition`

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

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

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