import { File } from "./file.js";
import { Region } from "../util/region.js";
export declare class TokenizedFile extends File {
    file: File;
    readonly tokens: Array<string>;
    readonly mapping: Array<Region>;
    constructor(file: File, tokens: Array<string>, mapping: Array<Region>);
}
//# sourceMappingURL=tokenizedFile.d.ts.map