| 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.