in

test if element is in set

find a : bool such that a = (1 in {0,1})

This syntax is checking if 1 is in the set {0,1}

See it demonstrated here.