case x of {
   f(x) | g(x) : expr2
   s(x) & t(x) : expr4
   default: expr5
   }