/* 0.28.0 */
import type { BoxedExpression, ComputeEngine } from '../global-types';
export declare class Terms {
    private engine;
    private terms;
    constructor(ce: ComputeEngine, terms: ReadonlyArray<BoxedExpression>);
    private add;
    private find;
    N(): BoxedExpression;
    asExpression(): BoxedExpression;
}