import { Lexer } from 'chevrotain';
import type { TokenType } from 'chevrotain';
export declare const Tokens: {
    readonly WhiteSpace: TokenType;
    readonly AtomicProp: TokenType;
    readonly LParen: TokenType;
    readonly RParen: TokenType;
    readonly StandardNot: TokenType;
    readonly StandardAnd: TokenType;
    readonly StandardOr: TokenType;
    readonly StandardIf: TokenType;
    readonly StandardIff: TokenType;
    readonly TflNot: TokenType;
    readonly TflAnd: TokenType;
    readonly TflOr: TokenType;
    readonly TflIf: TokenType;
    readonly TflIff: TokenType;
    readonly EnglishNot: TokenType;
    readonly EnglishAnd: TokenType;
    readonly EnglishOr: TokenType;
    readonly EnglishIf: TokenType;
    readonly EnglishIff: TokenType;
};
export declare const TFLLexer: Lexer;
//# sourceMappingURL=lexer.d.ts.map