case package:test-fun

Pattern-match on the argument (in some ADT). The branches may be incomplete, in which case a default value r is used.
Pattern-match on the argument (of some integral type).