|
pattern | ::= | value-name |
| | _ | |
| | constant | |
| | pattern as value-name | |
| | ( pattern ) | |
| | ( pattern : typexpr ) | |
| | pattern | pattern | |
| | ncconstr pattern | |
| | `tag-name pattern | |
| | #typeconstr-name | |
| | pattern { , pattern } | |
| | { field = pattern { ; field = pattern } } | |
| | [ pattern { ; pattern |