import { Exp } from "../exp";
import { Mod } from "../mod";
import { Span } from "../span";
import { Stmt } from "../stmt";
export declare class Fact extends Stmt {
    name: string;
    exp: Exp;
    span?: Span | undefined;
    constructor(name: string, exp: Exp, span?: Span | undefined);
    execute(mod: Mod): Promise<void>;
}