Patterns

pattern ::= (wildcard-pattern |
             literal-pattern |
             string-pattern |
             record-pattern |
             error-pattern |
             tuple-pattern |
             array-pattern |
             map-pattern |
             set-pattern |
             module-pattern) pattern-alias?
try-catch-pattern ::= (wildcard-pattern |
                       error-pattern) pattern-alias?

Pattern Aliases

pattern-alias ::= 'as' pattern-variable-binding

Pattern Bindings

binding ::= variable-binding |
            discard-binding

Variable Bindings

variable-binding ::= 'mut'? code-identifier

Discard Bindings

discard-binding ::= discard-identifier