<human>:  check if a value exist in a list
<bot>: Here is some code to check if 7 is in `a`

(7 in a)

#Warning: this code generation is experimental. Please inspect the code for any bugs before executing.