export declare enum LexicalState {
    tokenNone = 1,
    tokenIntLit = 2,
    tokenFltLit = 3,
    tokenStrLit = 4,
    tokenStrLit2 = 5,
    tokenIdent = 6,
    tokenBoolIdent = 7,
    tokenSkolemIdent = 8,
    tokenVariable = 9,
    tokenPlus = 10,
    tokenMinus = 11,
    tokenMult = 12,
    tokenDiv = 13,
    tokenEqual = 14,
    tokenNotEqual = 15,
    tokenLess = 16,
    tokenLessEqual = 17,
    tokenGreater = 18,
    tokenGreaterEqual = 19,
    tokenSemicolon = 20,
    tokenComma = 21,
    token2OrBar = 22,
    token2Ampersand = 23,
    tokenLeftBracket = 24,
    tokenRightBracket = 25,
    tokenAssign = 26,
    tokenArrow = 27,
    tokenThickArrow = 28,
    tokenExclamation = 29,
    tokenApostrophe = 30,
    tokenOctothorpe = 31,
    tokenDollar = 32,
    tokenDot = 33,
    tokenLeftSquareBracket = 34,
    tokenRightSquareBracket = 35,
    tokenOrBar = 36,
    tokenAmpersand = 37,
    tokenColon = 38,
    tokenLeftCurlyBrace = 39,
    tokenRightCurlyBrace = 40,
    tokenQuoteKeyword = 41,
    tokenQuestionMinus = 42,
    tokenColonMinus = 43,
    tokenEqualLessThan = 44,
    tokenBackslashPlus = 45,
    tokenBackslashEqual = 46,
    tokenEqualEqual = 47,
    tokenBackslashEqualEqual = 48,
    tokenEqualColonEqual = 49,
    tokenEqualBackslashEqual = 50,
    tokenMinusMinusGreaterThan = 51,
    tokenEqualDotDot = 52,
    tokenCaret = 53,
    tokenTilde = 54,
    tokenLowercaseGreekLetterLambda = 55,
    tokenPercent = 56,
    tokenPlusEqual = 57,
    tokenMinusEqual = 58,
    tokenMultEqual = 59,
    tokenDivEqual = 60,
    tokenPercentEqual = 61,
    tokenForAll = 62,
    tokenThereExists = 63,
    tokenThereDoesNotExist = 64,
    tokenEmptySet = 65,
    tokenIsAnElementOf = 66,
    tokenIntersection = 67,
    tokenUnion = 68,
    tokenIsASubsetOf = 69,
    tokenIsAProperSubsetOf = 70,
    tokenBitwiseShiftLeft = 71,
    tokenBitwiseShiftRight = 72,
    tokenBitwiseAndEqual = 73,
    tokenBitwiseOrEqual = 74,
    tokenBitwiseXorEqual = 75,
    tokenBitwiseShiftLeftEqual = 76,
    tokenBitwiseShiftRightEqual = 77,
    tokenPlusPlus = 78,
    tokenMinusMinus = 79,
    tokenQuestionMark = 80,
    tokenColonColon = 81,
    tokenEOF = 82,
    stateStart = 83,
    stateError = 84,
    stateStrLitOpen = 85,
    stateStrLit2Open = 86,
    stateIntLitDot = 87,
    stateQuestion = 88,
    stateAmpersand = 89,
    stateAt = 90,
    stateDollar = 91,
    stateBackslash = 92,
    stateEqualColon = 93,
    stateEqualBackslash = 94,
    stateMinusMinus = 95,
    stateEqualDot = 96
}
//# sourceMappingURL=lexical-states.d.ts.map