- "$end", "error", "$undefined", "MT_BADTOK", "MT_END", "MT_STATE",
- "MT_GLOBAL", "MT_CONTEXT", "MT_ONEOF", "MT_DEFAULTS", "MT_DEFAULT",
- "MT_REFERENCE", "MT_PARAMETER", "MT_RESULT", "MT_CLAUSE", "MT_LITERAL",
- "MT_NULL", "MT_ANNOTATIONS", "MT_ARROW", "MT_MERGE", "MT_TRANSFERS",
- "MT_PRECONDITIONS", "MT_POSTCONDITIONS", "MT_LOSEREFERENCE", "MT_AS",
- "MT_ERROR", "MT_PLUS", "MT_STAR", "MT_BAR", "MT_LPAREN", "MT_RPAREN",
- "MT_LBRACKET", "MT_RBRACKET", "MT_LBRACE", "MT_RBRACE", "MT_COMMA",
- "MT_CHAR", "MT_INT", "MT_FLOAT", "MT_DOUBLE", "MT_VOID", "MT_ANYTYPE",
- "MT_INTEGRALTYPE", "MT_UNSIGNEDINTEGRALTYPE", "MT_SIGNEDINTEGRALTYPE",
- "MT_CONST", "MT_VOLATILE", "MT_RESTRICT", "MT_STRINGLIT", "MT_IDENT",
- "$accept", "file", "mtsDeclaration", "declarationNode",
- "declarationPieces", "declarationPiece", "contextDeclaration",
- "optContextSelection", "contextSelection", "optType", "typeExpression",
- "completeType", "completeTypeAux", "optCompleteType", "abstractDecl",
- "pointers", "innerMods", "innerModsList", "abstractDeclBase",
- "typeSpecifier", "typeName", "valuesDeclaration", "valuesList",
- "defaultNode", "defaultsDeclaration", "defaultDeclarationList",
- "annotationsDeclaration", "annotationsDeclarationList",
- "annotationDeclaration", "mergeDeclaration", "mergeClauses",
- "mergeClause", "mergeItem", "preconditionsDeclaration",
- "postconditionsDeclaration", "transfersDeclaration",
- "loseReferenceDeclaration", "lostClauses", "lostClause",
- "transferClauses", "transferClause", "transferAction", "errorAction",
+ "$end", "error", "$undefined", "MT_BADTOK", "MT_END", "MT_STATE",
+ "MT_GLOBAL", "MT_CONTEXT", "MT_ONEOF", "MT_DEFAULTS", "MT_DEFAULT",
+ "MT_REFERENCE", "MT_PARAMETER", "MT_RESULT", "MT_CLAUSE", "MT_LITERAL",
+ "MT_NULL", "MT_ANNOTATIONS", "MT_ARROW", "MT_MERGE", "MT_TRANSFERS",
+ "MT_PRECONDITIONS", "MT_POSTCONDITIONS", "MT_LOSEREFERENCE", "MT_AS",
+ "MT_ERROR", "MT_PLUS", "MT_STAR", "MT_BAR", "MT_LPAREN", "MT_RPAREN",
+ "MT_LBRACKET", "MT_RBRACKET", "MT_LBRACE", "MT_RBRACE", "MT_COMMA",
+ "MT_CHAR", "MT_INT", "MT_FLOAT", "MT_DOUBLE", "MT_VOID", "MT_ANYTYPE",
+ "MT_INTEGRALTYPE", "MT_UNSIGNEDINTEGRALTYPE", "MT_SIGNEDINTEGRALTYPE",
+ "MT_CONST", "MT_VOLATILE", "MT_RESTRICT", "MT_STRINGLIT", "MT_IDENT",
+ "$accept", "file", "mtsDeclaration", "declarationNode",
+ "declarationPieces", "declarationPiece", "contextDeclaration",
+ "optContextSelection", "contextSelection", "optType", "typeExpression",
+ "completeType", "completeTypeAux", "optCompleteType", "abstractDecl",
+ "pointers", "innerMods", "innerModsList", "abstractDeclBase",
+ "typeSpecifier", "typeName", "valuesDeclaration", "valuesList",
+ "defaultNode", "defaultsDeclaration", "defaultDeclarationList",
+ "annotationsDeclaration", "annotationsDeclarationList",
+ "annotationDeclaration", "mergeDeclaration", "mergeClauses",
+ "mergeClause", "mergeItem", "preconditionsDeclaration",
+ "postconditionsDeclaration", "transfersDeclaration",
+ "loseReferenceDeclaration", "lostClauses", "lostClause",
+ "transferClauses", "transferClause", "transferAction", "errorAction",