Synopsis Negated membership test on lists.
Syntax Exp1 notin Exp2
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.
rascal>4 notin [1, 2, 3];
bool: true
rascal>2 notin [1, 2, 3];
bool: false

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