pattern | ::= | ident |
| | ( pattern ) | |
| | pattern as ident | |
| | _ | |
| | pattern , pattern { , pattern } | |
| | () | |
| | immediate | |
| | constructor | |
| | constructor pattern | |
| | { label = pattern { ; label = pattern } } | |
| | clock ident | |
| | static ident |
Patterns allow selecting data structures of a given shape and binding identifiers to components of the data structure. The meaning of pattern is the one given by Objective Caml.