import { Exp } from "../exp";
export declare class ExpTrace extends Error {
    message: string;
    previous: Array<Exp>;
    constructor(message: string);
    trail(x: Exp): this;
    report(opts: {
        path?: string;
        text: string;
    }): string;
}