case :a
in b: true then
  :c
end

