import { ContextTracker } from 'lezer';
import Context from './context';
import Tokenizer from './tokenizer';
declare class TeXContextTracker extends ContextTracker<Context | null> {
    constructor();
    private handleTerm;
}
export declare const trackContext: TeXContextTracker;
export declare const tokenizer: Tokenizer;
export {};
//# sourceMappingURL=tokens.d.ts.map