#ifndef __PTMEPT_dict_H
#define __PTMEPT_dict_H

#include <aterm2.h>

extern AFun PTPT_afun121;
extern AFun PTPT_afun3;
extern AFun PTPT_afun78;
extern AFun PTPT_afun48;
extern AFun PTPT_afun59;
extern AFun PTPT_afun99;
extern AFun PTPT_afun2;
extern AFun PTPT_afun47;
extern AFun PTPT_afun104;
extern AFun PTPT_afun80;
extern AFun PTPT_afun42;
extern AFun PTPT_afun75;
extern AFun PTPT_afun15;
extern AFun PTPT_afun86;
extern AFun PTPT_afun31;
extern AFun PTPT_afun43;
extern AFun PTPT_afun103;
extern AFun PTPT_afun0;
extern AFun PTPT_afun84;
extern AFun PTPT_afun98;
extern AFun PTPT_afun33;
extern AFun PTPT_afun10;
extern AFun PTPT_afun13;
extern AFun PTPT_afun119;
extern AFun PTPT_afun74;
extern AFun PTPT_afun14;
extern AFun PTPT_afun40;
extern AFun PTPT_afun82;
extern AFun PTPT_afun30;
extern AFun PTPT_afun123;
extern AFun PTPT_afun101;
extern AFun PTPT_afun60;
extern AFun PTPT_afun7;
extern AFun PTPT_afun58;
extern AFun PTPT_afun79;
extern AFun PTPT_afun100;
extern AFun PTPT_afun81;
extern AFun PTPT_afun122;
extern AFun PTPT_afun29;
extern AFun PTPT_afun1;
extern AFun PTPT_afun6;
extern AFun PTPT_afun83;
extern AFun PTPT_afun61;
extern AFun PTPT_afun97;
extern AFun PTPT_afun50;
extern AFun PTPT_afun44;
extern AFun PTPT_afun102;
extern AFun PTPT_afun112;
extern AFun PTPT_afun73;
extern AFun PTPT_afun9;
extern AFun PTPT_afun107;
extern AFun PTPT_afun88;
extern AFun PTPT_afun51;
extern AFun PTPT_afun56;
extern AFun PTPT_afun85;
extern AFun PTPT_afun127;
extern AFun PTPT_afun12;
extern AFun PTPT_afun91;
extern AFun PTPT_afun64;
extern AFun PTPT_afun8;
extern AFun PTPT_afun28;
extern AFun PTPT_afun32;
extern AFun PTPT_afun106;
extern AFun PTPT_afun76;
extern AFun PTPT_afun90;
extern AFun PTPT_afun11;
extern AFun PTPT_afun62;
extern AFun PTPT_afun27;
extern AFun PTPT_afun120;
extern AFun PTPT_afun55;
extern AFun PTPT_afun108;
extern AFun PTPT_afun49;
extern AFun PTPT_afun116;
extern AFun PTPT_afun109;
extern AFun PTPT_afun36;
extern AFun PTPT_afun111;
extern AFun PTPT_afun17;
extern AFun PTPT_afun110;
extern AFun PTPT_afun92;
extern AFun PTPT_afun34;
extern AFun PTPT_afun63;
extern AFun PTPT_afun19;
extern AFun PTPT_afun26;
extern AFun PTPT_afun37;
extern AFun PTPT_afun105;
extern AFun PTPT_afun115;
extern AFun PTPT_afun25;
extern AFun PTPT_afun18;
extern AFun PTPT_afun114;
extern AFun PTPT_afun69;
extern AFun PTPT_afun54;
extern AFun PTPT_afun87;
extern AFun PTPT_afun38;
extern AFun PTPT_afun16;
extern AFun PTPT_afun77;
extern AFun PTPT_afun52;
extern AFun PTPT_afun96;
extern AFun PTPT_afun57;
extern AFun PTPT_afun35;
extern AFun PTPT_afun39;
extern AFun PTPT_afun72;
extern AFun PTPT_afun117;
extern AFun PTPT_afun22;
extern AFun PTPT_afun118;
extern AFun PTPT_afun66;
extern AFun PTPT_afun124;
extern AFun PTPT_afun94;
extern AFun PTPT_afun41;
extern AFun PTPT_afun126;
extern AFun PTPT_afun53;
extern AFun PTPT_afun70;
extern AFun PTPT_afun20;
extern AFun PTPT_afun21;
extern AFun PTPT_afun65;
extern AFun PTPT_afun5;
extern AFun PTPT_afun113;
extern AFun PTPT_afun93;
extern AFun PTPT_afun89;
extern AFun PTPT_afun95;
extern AFun PTPT_afun67;
extern AFun PTPT_afun4;
extern AFun PTPT_afun23;
extern AFun PTPT_afun71;
extern AFun PTPT_afun45;
extern AFun PTPT_afun68;
extern AFun PTPT_afun125;
extern AFun PTPT_afun24;
extern AFun PTPT_afun46;

extern ATerm PTPT_patternLexLayoutWhitespace;
extern ATerm PTPT_patternIdConLexToCf;
extern ATerm PTPT_patternLexIdConDefault;
extern ATerm PTPT_patternNatConLexToCf;
extern ATerm PTPT_patternLexNatConDigits;
extern ATerm PTPT_patternLexStrCharCharsMany;
extern ATerm PTPT_patternLexStrCharCharsSingle;
extern ATerm PTPT_patternLexStrCharCharsEmpty;
extern ATerm PTPT_patternStrConLexToCf;
extern ATerm PTPT_patternLexStrConDefault;
extern ATerm PTPT_patternStrCharLexToCf;
extern ATerm PTPT_patternLexStrCharNormal;
extern ATerm PTPT_patternLexStrCharDecimal;
extern ATerm PTPT_patternLexStrCharBackslash;
extern ATerm PTPT_patternLexStrCharQuote;
extern ATerm PTPT_patternLexStrCharTab;
extern ATerm PTPT_patternLexStrCharNewline;
extern ATerm PTPT_patternRealConRealCon;
extern ATerm PTPT_patternOptExpAbsent;
extern ATerm PTPT_patternOptExpPresent;
extern ATerm PTPT_patternIntConNegative;
extern ATerm PTPT_patternIntConPositive;
extern ATerm PTPT_patternIntConNatural;
extern ATerm PTPT_patternATermAnnosMany;
extern ATerm PTPT_patternATermAnnosSingle;
extern ATerm PTPT_patternATermAnnosEmpty;
extern ATerm PTPT_patternATermElemsMany;
extern ATerm PTPT_patternATermElemsSingle;
extern ATerm PTPT_patternATermElemsEmpty;
extern ATerm PTPT_patternATermArgsMany;
extern ATerm PTPT_patternATermArgsSingle;
extern ATerm PTPT_patternATermArgsEmpty;
extern ATerm PTPT_patternAnnotationDefault;
extern ATerm PTPT_patternATermAnnotated;
extern ATerm PTPT_patternATermList;
extern ATerm PTPT_patternATermPlaceholder;
extern ATerm PTPT_patternATermAppl;
extern ATerm PTPT_patternATermFun;
extern ATerm PTPT_patternATermReal;
extern ATerm PTPT_patternATermInt;
extern ATerm PTPT_patternAFunUnquoted;
extern ATerm PTPT_patternAFunQuoted;
extern ATerm PTPT_patternTreeListMany;
extern ATerm PTPT_patternTreeListSingle;
extern ATerm PTPT_patternTreeListEmpty;
extern ATerm PTPT_patternProductionList;
extern ATerm PTPT_patternProductionDefault;
extern ATerm PTPT_patternArgsList;
extern ATerm PTPT_patternCharRangeListMany;
extern ATerm PTPT_patternCharRangeListSingle;
extern ATerm PTPT_patternCharRangeListEmpty;
extern ATerm PTPT_patternSymbolListMany;
extern ATerm PTPT_patternSymbolListSingle;
extern ATerm PTPT_patternSymbolListEmpty;
extern ATerm PTPT_patternStartRealCon;
extern ATerm PTPT_patternStartIntCon;
extern ATerm PTPT_patternStartATerm;
extern ATerm PTPT_patternStartTree;
extern ATerm PTPT_patternStartSymbol;
extern ATerm PTPT_patternCharRangeRange;
extern ATerm PTPT_patternCharRangeCharacter;
extern ATerm PTPT_patternCharRangesList;
extern ATerm PTPT_patternSymbolsList;
extern ATerm PTPT_patternSymbolParameterizedSort;
extern ATerm PTPT_patternSymbolStrategy;
extern ATerm PTPT_patternSymbolCharClass;
extern ATerm PTPT_patternSymbolLayout;
extern ATerm PTPT_patternSymbolVarsym;
extern ATerm PTPT_patternSymbolFunc;
extern ATerm PTPT_patternSymbolIterSepN;
extern ATerm PTPT_patternSymbolIterN;
extern ATerm PTPT_patternSymbolIterStarSep;
extern ATerm PTPT_patternSymbolIterSep;
extern ATerm PTPT_patternSymbolIterStar;
extern ATerm PTPT_patternSymbolIter;
extern ATerm PTPT_patternSymbolSort;
extern ATerm PTPT_patternSymbolTuple;
extern ATerm PTPT_patternSymbolSeq;
extern ATerm PTPT_patternSymbolAlt;
extern ATerm PTPT_patternSymbolOpt;
extern ATerm PTPT_patternSymbolLex;
extern ATerm PTPT_patternSymbolCf;
extern ATerm PTPT_patternSymbolCilit;
extern ATerm PTPT_patternSymbolLit;
extern ATerm PTPT_patternSymbolEmpty;
extern ATerm PTPT_patternParseTreeTop;
extern ATerm PTPT_patternAttrListMany;
extern ATerm PTPT_patternAttrListSingle;
extern ATerm PTPT_patternAttrListEmpty;
extern ATerm PTPT_patternAssociativityNonAssoc;
extern ATerm PTPT_patternAssociativityAssoc;
extern ATerm PTPT_patternAssociativityRight;
extern ATerm PTPT_patternAssociativityLeft;
extern ATerm PTPT_patternAttrAvoid;
extern ATerm PTPT_patternAttrPrefer;
extern ATerm PTPT_patternAttrReject;
extern ATerm PTPT_patternAttrBracket;
extern ATerm PTPT_patternAttrId;
extern ATerm PTPT_patternAttrTerm;
extern ATerm PTPT_patternAttrAssoc;
extern ATerm PTPT_patternAttrsMany;
extern ATerm PTPT_patternAttributesAttrs;
extern ATerm PTPT_patternAttributesNoAttrs;
extern ATerm PTPT_patternTreeChar;
extern ATerm PTPT_patternTreeAmb;
extern ATerm PTPT_patternTreeCycle;
extern ATerm PTPT_patternTreeAppl;
extern ATerm PTPT_patternTreeAnnotated;
extern ATerm PTPT_patternLexLayoutListMany;
extern ATerm PTPT_patternLexLayoutListSingle;
extern ATerm PTPT_patternLexLayoutListEmpty;
extern ATerm PTPT_patternLayoutLexToCf;
extern ATerm PTPT_patternOptLayoutPresent;
extern ATerm PTPT_patternOptLayoutAbsent;

extern void init_PTMEPT_dict();

#endif /* __PTMEPT_dict_H */
