case :a in b: true then :c end