List notin
rascal-0.34.0
Synopsis
Negated membership test on lists.
Syntax
Exp₁ notin Exp₂
Types
//
Exp₁ | Exp₂ | Exp₁ notin Exp₂ |
---|---|---|
T₁ <: T₂ | list[T₂] | bool |
Description
Yields true
if the value of Exp₁ does not occur as element in the value of Exp₂ and false
otherwise.
The type of Exp₁ should be compatible with the element type of Exp₂.
Examples
rascal>4 notin [1, 2, 3];
bool: true
rascal>2 notin [1, 2, 3];
bool: false