case_list Production

Definition

case_list : case_list case
          | case

Purpose

A case_list is a sequence of one or more cases.