import { CertusContext, FZ } from "../model/Context";
import { EliminativeMacro } from "./EliminativeMacro";
import { MaxMacro } from "./MinAndMax";
export declare class MinEliminativeMacro extends EliminativeMacro {
    constructor(name?: string | undefined);
    evaluate(ctx: CertusContext): FZ;
    expand(ctx: CertusContext, target?: string): string;
}
export declare class MaxEliminativeMacro extends MaxMacro {
    constructor(name?: string | undefined);
    evaluate(ctx: CertusContext): FZ;
    expand(ctx: CertusContext, target?: string): string;
}
//# sourceMappingURL=MinAndMaxEliminative.d.ts.map