switch

switch statements are imperative equivalents of case expressions, such as:

switch exp of
  pat1 => block1
| pat2 => block2
end