import { StmtOutput } from "../stmt-output";
import { Core } from "../core";
export declare class NormalTerm extends StmtOutput {
    exp: Core;
    t: Core;
    constructor(opts: {
        exp: Core;
        t: Core;
    });
    repr(): string;
}