public static final int SEPARATED_DOT = 41;\r
public static final int ESCAPED_ID = 42;\r
public static final int LAMBDA = 43;\r
- public static final int LET = 44;\r
- public static final int IF = 45;\r
- public static final int MATCH = 46;\r
- public static final int DO = 47;\r
- public static final int MDO = 48;\r
- public static final int ENFORCE = 49;\r
- public static final int BLANK = 50;\r
- public static final int FLOAT = 51;\r
- public static final int LBRACKET = 52;\r
- public static final int ESCAPED_SYMBOL = 53;\r
- public static final int CHAR = 54;\r
- public static final int WHEN = 55;\r
- public static final int ATTACHED_HASH = 56;\r
- public static final int SELECT = 57;\r
- public static final int SELECT_FIRST = 58;\r
- public static final int SELECT_DISTINCT = 59;\r
- public static final int TRANSFORMATION = 60;\r
- public static final int EQ = 61;\r
- public static final int ATTACHED_DOT = 62;\r
- public static final int IN = 63;\r
- public static final int THEN = 64;\r
- public static final int ELSE = 65;\r
- public static final int RBRACKET = 66;\r
- public static final int DOTDOT = 67;\r
- public static final int AT = 68;\r
- public static final int SUSPEND_STRING = 69;\r
- public static final int CONTINUE_STRING = 70;\r
- public static final int BINDS = 71;\r
- public static final int BY = 72;\r
- public static final int QUERY_OP = 73;\r
- public static final int IMPLIES = 74;\r
- public static final int FORALL = 75;\r
- public static final int COMMENT = 76;\r
- public static final int EOL = 77;\r
- public static final int EOF = 78;\r
+ public static final int LAMBDA_MATCH = 44;\r
+ public static final int LET = 45;\r
+ public static final int IF = 46;\r
+ public static final int MATCH = 47;\r
+ public static final int DO = 48;\r
+ public static final int MDO = 49;\r
+ public static final int ENFORCE = 50;\r
+ public static final int BLANK = 51;\r
+ public static final int FLOAT = 52;\r
+ public static final int LBRACKET = 53;\r
+ public static final int ESCAPED_SYMBOL = 54;\r
+ public static final int CHAR = 55;\r
+ public static final int WHEN = 56;\r
+ public static final int ATTACHED_HASH = 57;\r
+ public static final int SELECT = 58;\r
+ public static final int SELECT_FIRST = 59;\r
+ public static final int SELECT_DISTINCT = 60;\r
+ public static final int TRANSFORMATION = 61;\r
+ public static final int EQ = 62;\r
+ public static final int ATTACHED_DOT = 63;\r
+ public static final int IN = 64;\r
+ public static final int THEN = 65;\r
+ public static final int ELSE = 66;\r
+ public static final int RBRACKET = 67;\r
+ public static final int DOTDOT = 68;\r
+ public static final int AT = 69;\r
+ public static final int SUSPEND_STRING = 70;\r
+ public static final int CONTINUE_STRING = 71;\r
+ public static final int BINDS = 72;\r
+ public static final int IMPLIES = 73;\r
+ public static final int THEN_AFTER_WHEN = 74;\r
+ public static final int CONSTRAINT = 75;\r
+ public static final int BY = 76;\r
+ public static final int QUERY_OP = 77;\r
+ public static final int FORALL = 78;\r
+ public static final int COMMENT = 79;\r
+ public static final int EOL = 80;\r
+ public static final int EOF = 81;\r
}\r