Synopsis Negated Match operator.
Syntax
Pat !:= Exp
Types
Pat | Exp | Pat !:= Exp |
|---|---|---|
| Patterns | value | bool |
Description See PatternMatching for an introduction to pattern matching and Patterns for a complete description.
Examples
rascal>123 !:= 456; bool: true rascal>[10, N*, 50] !:= [10, 20, 30, 40, 50]; bool: false rascal>{10, set[int] S, 50} !:= {50, 40, 30, 30, 10}; bool: true