TypeDecl Declaration

Declaration := 'typedecl' Identifier_t

This is a bridging production from the nonterminal Declaration in C. This is another "hacky" way of using types not defined in this file, combining with the import mechanism. This declaration it self does not correspond to any essential C++ code, except that it let the GIGL-C++ translater know that this is a type name, so that certain later part of the GIGL code can be processed properly. The real type definition should be imported by the import mechanism in GIGL (which is another "hack" of course).

• Identifier_t a terminal in C that matches any valid identifier, which is the type name here.