- public static final int RBRACKET = 68;
- public static final int DOTDOT = 69;
- public static final int AT = 70;
- public static final int SUSPEND_STRING = 71;
- public static final int CONTINUE_STRING = 72;
- public static final int BINDS = 73;
- public static final int IMPLIES = 74;
- public static final int THEN_AFTER_WHEN = 75;
- public static final int CONSTRAINT = 76;
- public static final int BY = 77;
- public static final int QUERY_OP = 78;
- public static final int FORALL = 79;
- public static final int COMMENT = 80;
- public static final int EOL = 81;
- public static final int EOF = 82;
+ public static final int WITH = 68;
+ public static final int RBRACKET = 69;
+ public static final int DOTDOT = 70;
+ public static final int AT = 71;
+ public static final int SUSPEND_STRING = 72;
+ public static final int CONTINUE_STRING = 73;
+ public static final int BINDS = 74;
+ public static final int IMPLIES = 75;
+ public static final int THEN_AFTER_WHEN = 76;
+ public static final int CONSTRAINT = 77;
+ public static final int BY = 78;
+ public static final int QUERY_OP = 79;
+ public static final int FORALL = 80;
+ public static final int COMMENT = 81;
+ public static final int EOL = 82;
+ public static final int EOF = 83;