The rules of logical syntax must follow of themselves, if we only know how every single sign signifies. --Ludwig Wittgenstein

An expression prescribes a computation that produces a value or variable.
Syntactically, an expression is either an operand, or an operation applied to
arguments, which are themselves expressions. Operands are identifiers,
literals, or types. An expression is evaluated by recursively evaluating its
arguments and performing the operation. The order of argument evaluation is
undefined for all operations except `AND`

and `OR`

.

- 2.6.1 Conventions for describing operations
- 2.6.2 Operation syntax
- 2.6.3 Designators
- 2.6.4 Numeric literals
- 2.6.5 Text and character literals
- 2.6.6 Nil
- 2.6.7 Function application
- 2.6.8 Set, array, and record constructors
- 2.6.9 New
- 2.6.10 Arithmetic operations
- 2.6.11 Relations
- 2.6.12 Boolean operations
- 2.6.13 Type operations
- 2.6.14 Text operations
- 2.6.15 Constant expressions

m3-support@elego.de