Declarations −→ {VarDeclaration SEMICOLON | FuncDeclaration SEMICOLON}

Declarations:
        VarDeclaration SEMICOLON                                                        {;}
        |FuncDeclaration SEMICOLON                                                      {;}
        |Declarations VarDeclaration SEMICOLON                                          {;}
        |Declarations FuncDeclaration SEMICOLON                                         {;}
        ;


VarSpec −→ ID {COMMA ID} Type

VarSpec:
        ID VarSpec_2 Type                    {;}
        ;

VarSpec_2:
        COMMA ID VarSpec_2                   {;}
        |                                    {;}
        ;


FuncDeclaration −→ FUNC ID LPAR [Parameters] RPAR [Type] FuncBody

FuncDeclaration:
        FuncHeader FuncBody                                                             {;}
        ;

FuncHeader:
        FUNC ID LPAR RPAR                                                               {;}
        |FUNC ID LPAR Parameters RPAR                                                   {;}
        |FUNC ID LPAR RPAR Type                                                         {;}
        |FUNC ID LPAR Parameters RPAR Type                                              {;}
        ;


VarsAndStatements −→ VarsAndStatements [VarDeclaration | Statement] SEMICOLON | ε

VarsAndStatements:
        VarsAndStatements SEMICOLON                                                     {;}
        |VarsAndStatements VarDeclaration SEMICOLON                                     {;}
        |VarsAndStatements Statement SEMICOLON                                          {;}
        |                                                                               {;}
        ;


FuncInvocation −→ ID LPAR [Expr {COMMA Expr}] RPAR

FuncInvocation:
        ID LPAR RPAR                                                                    {;}
        |ID LPAR Expression FuncInvocation_2 RPAR                                       {;}
        |ID LPAR Expression RPAR                                                        {;}
        |ID LPAR error RPAR                                                             {;}
        ;

FuncInvocation_2:
        COMMA Expression                                                                {;}
        |FuncInvocation_2 COMMA Expression                                              {;}
        ;