end
In the first case the function returns the result that corresponds to the search
value that matches the first argument; in the second case, case returns the
result that corresponds to the first condition that is satisfied.
Example 5.17.8 Using case we can give an alternate solution to the query
solved in Example 5.17.7: