- public static final int COMMA = 3;
- public static final int HASTYPE = 4;
- public static final int DATA = 5;
- public static final int ID = 6;
- public static final int EQUALS = 7;
- public static final int BAR = 8;
- public static final int TYPE = 9;
- public static final int CLASS = 10;
- public static final int WHERE = 11;
- public static final int INSTANCE = 12;
- public static final int DERIVING = 13;
- public static final int BEGIN_STRING = 14;
- public static final int END_STRING = 15;
- public static final int ANNOTATION_ID = 16;
- public static final int INFIX = 17;
- public static final int INFIXL = 18;
- public static final int INFIXR = 19;
- public static final int INTEGER = 20;
- public static final int IMPORTJAVA = 21;
- public static final int EFFECT = 22;
- public static final int RULE = 23;
- public static final int ABSTRACT_RULE = 24;
- public static final int EXTENDS = 25;
- public static final int MAPPING_RELATION = 26;
- public static final int FOLLOWS = 27;
- public static final int IMPORT = 28;
- public static final int INCLUDE = 29;
- public static final int AS = 30;
- public static final int LPAREN = 31;
- public static final int RPAREN = 32;
- public static final int HIDING = 33;
- public static final int ARROW = 34;
- public static final int COLON = 35;
- public static final int WITH = 36;
- public static final int MINUS = 37;
- public static final int SYMBOL = 38;
- public static final int LESS = 39;
- public static final int GREATER = 40;
- public static final int SEPARATED_DOT = 41;
- public static final int ESCAPED_ID = 42;
- public static final int LAMBDA = 43;
- public static final int LAMBDA_MATCH = 44;
- public static final int LET = 45;
- public static final int IF = 46;
- public static final int MATCH = 47;
- public static final int DO = 48;
- public static final int MDO = 49;
- public static final int ENFORCE = 50;
- public static final int BLANK = 51;
- public static final int FLOAT = 52;
- public static final int LBRACKET = 53;
- public static final int ESCAPED_SYMBOL = 54;
- public static final int CHAR = 55;
- public static final int WHEN = 56;
- public static final int ATTACHED_HASH = 57;
- public static final int SELECT = 58;
- public static final int SELECT_FIRST = 59;
- public static final int SELECT_DISTINCT = 60;
- public static final int TRANSFORMATION = 61;
- public static final int EQ = 62;
- public static final int ATTACHED_DOT = 63;
- public static final int IN = 64;
- public static final int THEN = 65;
- public static final int ELSE = 66;
- public static final int RBRACKET = 67;
- public static final int DOTDOT = 68;
- public static final int AT = 69;
- public static final int SUSPEND_STRING = 70;
- public static final int CONTINUE_STRING = 71;
- public static final int BINDS = 72;
- public static final int IMPLIES = 73;
- public static final int THEN_AFTER_WHEN = 74;
- public static final int CONSTRAINT = 75;
- public static final int BY = 76;
- public static final int QUERY_OP = 77;
- public static final int FORALL = 78;
- public static final int COMMENT = 79;
- public static final int EOL = 80;
- public static final int EOF = 81;
+ public static final int MODULE = 3;
+ public static final int COMMA = 4;
+ public static final int HASTYPE = 5;
+ public static final int DATA = 6;
+ public static final int ID = 7;
+ public static final int EQUALS = 8;
+ public static final int BAR = 9;
+ public static final int TYPE = 10;
+ public static final int CLASS = 11;
+ public static final int WHERE = 12;
+ public static final int INSTANCE = 13;
+ public static final int DERIVING = 14;
+ public static final int BEGIN_STRING = 15;
+ public static final int END_STRING = 16;
+ public static final int ANNOTATION_ID = 17;
+ public static final int INFIX = 18;
+ public static final int INFIXL = 19;
+ public static final int INFIXR = 20;
+ public static final int INTEGER = 21;
+ public static final int IMPORTJAVA = 22;
+ public static final int EFFECT = 23;
+ public static final int RULE = 24;
+ public static final int ABSTRACT_RULE = 25;
+ public static final int EXTENDS = 26;
+ public static final int MAPPING_RELATION = 27;
+ public static final int FOLLOWS = 28;
+ public static final int RULESET = 29;
+ public static final int IMPORT = 30;
+ public static final int INCLUDE = 31;
+ public static final int AS = 32;
+ public static final int LPAREN = 33;
+ public static final int RPAREN = 34;
+ public static final int HIDING = 35;
+ public static final int ARROW = 36;
+ public static final int COLON = 37;
+ public static final int MINUS = 38;
+ public static final int SYMBOL = 39;
+ public static final int LESS = 40;
+ public static final int GREATER = 41;
+ public static final int SEPARATED_DOT = 42;
+ public static final int ESCAPED_ID = 43;
+ public static final int LAMBDA = 44;
+ public static final int LAMBDA_MATCH = 45;
+ public static final int LET = 46;
+ public static final int IF = 47;
+ public static final int MATCH = 48;
+ public static final int DO = 49;
+ public static final int MDO = 50;
+ public static final int ENFORCE = 51;
+ public static final int BLANK = 52;
+ public static final int FLOAT = 53;
+ public static final int LBRACKET = 54;
+ public static final int ESCAPED_SYMBOL = 55;
+ public static final int CHAR = 56;
+ public static final int WHEN = 57;
+ public static final int ATTACHED_HASH = 58;
+ public static final int SELECT = 59;
+ public static final int SELECT_FIRST = 60;
+ public static final int SELECT_DISTINCT = 61;
+ public static final int TRANSFORMATION = 62;
+ public static final int EQ = 63;
+ public static final int CHR_SELECT = 64;
+ public static final int ATTACHED_DOT = 65;
+ public static final int IN = 66;
+ public static final int THEN = 67;
+ public static final int ELSE = 68;
+ public static final int WITH = 69;
+ public static final int RBRACKET = 70;
+ public static final int DOTDOT = 71;
+ public static final int AT = 72;
+ public static final int SUSPEND_STRING = 73;
+ public static final int CONTINUE_STRING = 74;
+ public static final int BINDS = 75;
+ public static final int IMPLIES = 76;
+ public static final int THEN_AFTER_WHEN = 77;
+ public static final int CONSTRAINT = 78;
+ public static final int BY = 79;
+ public static final int QUERY_OP = 80;
+ public static final int FORALL = 81;
+ public static final int COMMENT = 82;
+ public static final int EOL = 83;
+ public static final int EOF = 84;