Lists

Lists[15]:

PgmPars: [ '(' (PgmPar // ',') ')' ] .
Enumerate: ConIdDef // ',' .
constants: constant // ',' .
selectors: selector // ',' .
Variants:  variant_list .
variant_list: / Variant / Variant ';' variant_list .
VrblIds:   VblIdDef // ',' .
FrmlIds:   FmlIdDef // ',' .
Formals:   '(' (Formal // ';') ')'   .
FncArgs:   '(' (Actual // ',') ')'   .
PrcArgs: [ '(' (Actual // ',') ')' ] .
RdArgs:         RdArg  // ','        .
WrtArgs:        WrtArg // ','        .
Members:        Member // ','        .
StmtList: statement // ';' .
cases: case_list .
case_list: / case / case ';' case_list .

ProcBody:   optFormals ';' block .
ProcHead:   optFormals .
optFormals: [ '(' (Formal // ';') ')' ] .

This macro is defined in definitions 15.
This macro is invoked in definition 12.

List symbol mapping[16]:

Formals ::= optFormals .

This macro is invoked in definition 13.