List in
rascal-0.34.0
Synopsis
Membership test on list elements.
Syntax
Exp₁ in Exp₂
Types
//
Exp₁ | Exp₂ | Exp₁ in Exp₂ |
---|---|---|
T₁ <: T₂ | list[T₂] | bool |
Description
Yields true
if the value of Exp₁ occurs 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>2 in [1, 2, 3];
bool: true
rascal>4 in [1, 2, 3];
bool: false