import { Tag, type Expr, type IInst } from '.';
export declare class MLoad extends Tag {
    readonly location: Expr;
    readonly value?: Expr | undefined;
    readonly tag = "MLoad";
    constructor(location: Expr, value?: Expr | undefined);
    eval(): Expr;
}
export declare class MStore implements IInst {
    readonly location: Expr;
    readonly data: Expr;
    readonly name = "MStore";
    constructor(location: Expr, data: Expr);
    eval(): MStore;
}