@informalsystems/quint/dist/src/generated/QuintLexer.d.ts

Core tool for the Quint specification language

import { ATN } from "antlr4ts/atn/ATN";
import { CharStream } from "antlr4ts/CharStream";
import { Lexer } from "antlr4ts/Lexer";
import { Vocabulary } from "antlr4ts/Vocabulary";
export declare class QuintLexer extends Lexer {
    static readonly T__0 = 1;
    static readonly T__1 = 2;
    static readonly T__2 = 3;
    static readonly T__3 = 4;
    static readonly T__4 = 5;
    static readonly T__5 = 6;
    static readonly T__6 = 7;
    static readonly T__7 = 8;
    static readonly T__8 = 9;
    static readonly T__9 = 10;
    static readonly T__10 = 11;
    static readonly T__11 = 12;
    static readonly T__12 = 13;
    static readonly T__13 = 14;
    static readonly T__14 = 15;
    static readonly T__15 = 16;
    static readonly T__16 = 17;
    static readonly T__17 = 18;
    static readonly T__18 = 19;
    static readonly T__19 = 20;
    static readonly T__20 = 21;
    static readonly T__21 = 22;
    static readonly T__22 = 23;
    static readonly T__23 = 24;
    static readonly T__24 = 25;
    static readonly T__25 = 26;
    static readonly T__26 = 27;
    static readonly T__27 = 28;
    static readonly T__28 = 29;
    static readonly T__29 = 30;
    static readonly T__30 = 31;
    static readonly T__31 = 32;
    static readonly T__32 = 33;
    static readonly T__33 = 34;
    static readonly T__34 = 35;
    static readonly STRING = 36;
    static readonly BOOL = 37;
    static readonly INT = 38;
    static readonly AND = 39;
    static readonly OR = 40;
    static readonly IFF = 41;
    static readonly IMPLIES = 42;
    static readonly MATCH = 43;
    static readonly PLUS = 44;
    static readonly MINUS = 45;
    static readonly MUL = 46;
    static readonly DIV = 47;
    static readonly MOD = 48;
    static readonly GT = 49;
    static readonly LT = 50;
    static readonly GE = 51;
    static readonly LE = 52;
    static readonly NE = 53;
    static readonly EQ = 54;
    static readonly ASGN = 55;
    static readonly LPAREN = 56;
    static readonly RPAREN = 57;
    static readonly SET = 58;
    static readonly LIST = 59;
    static readonly IMPORT = 60;
    static readonly EXPORT = 61;
    static readonly FROM = 62;
    static readonly AS = 63;
    static readonly LOW_ID = 64;
    static readonly CAP_ID = 65;
    static readonly HASHBANG_LINE = 66;
    static readonly DOCCOMMENT = 67;
    static readonly LINE_COMMENT = 68;
    static readonly COMMENT = 69;
    static readonly WS = 70;
    static readonly channelNames: string[];
    static readonly modeNames: string[];
    static readonly ruleNames: string[];
    private static readonly _LITERAL_NAMES;
    private static readonly _SYMBOLIC_NAMES;
    static readonly VOCABULARY: Vocabulary;
    get vocabulary(): Vocabulary;
    constructor(input: CharStream);
    get grammarFileName(): string;
    get ruleNames(): string[];
    get serializedATN(): string;
    get channelNames(): string[];
    get modeNames(): string[];
    static readonly _serializedATN: string;
    static __ATN: ATN;
    static get _ATN(): ATN;
}