!--a11y-->
case_function
<
case_function
> ::=
<
simple_case_function
>
| <
searched_case_function
>