label_list Production

Definition

label_list : label_list label_decl
           |

Purpose

A label_list is simply a sequence of zero or more label_decls.