Patterns

Syntax

<pattern> ::=
      | <identifier-pattern>
      | <wildcard-pattern>