import type { Exp } from "../../exp/index.js";
import type { Mod } from "../../mod/index.js";
import type { Span } from "../../span/index.js";
import { Stmt } from "../../stmt/index.js";
export declare class LetThe extends Stmt {
    name: string;
    type: Exp;
    exp: Exp;
    span?: Span | undefined;
    constructor(name: string, type: Exp, exp: Exp, span?: Span | undefined);
    execute(mod: Mod): Promise<void>;
    undo(mod: Mod): void;
}
//# sourceMappingURL=LetThe.d.ts.map