| signal-pattern | ::= | simple-expr |
| | | simple-expression pattern | |
| | | signal-pattern & signal-pattern |
Signal patterns allows to test the presence of signals and to match their value with some pattern. Moreover, a signal pattern can be also a boolean expression.