Navigation
Synopsis Negated membership test on lists.
Syntax Exp1 notin Exp2
Types
Exp1 Exp2 Exp1 notin Exp2
T1 <: T2 list[T2] bool
Description Yields true if the value of Exp1 does not occur as element in the value of Exp2 and false otherwise. The type of Exp1 should be compatible with the element type of Exp2.
Examples
rascal>4 notin [1, 2, 3];
bool: true
rascal>2 notin [1, 2, 3];
bool: false

Questions
Question [1].
The type of true notin [false] is

Question [2].
41 notin [93,13,41] == 

Question [3].
7 notin [8, 6, 8, 0] == 



Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit ask.rascal-mpl.org.