import { RelMaker, Catalog, ExpressionType } from './00_Declarations';
export declare class CatalogRelMaker<T> implements RelMaker<T> {
    private catalog;
    constructor(cat: Catalog<T>);
    private getOp;
    addPair(s: T): T | null;
    addSplit(sum: T): T | null;
    addFree(): [T, T];
    subPair(x: T): T | null;
    subSplit(min: T): T | null;
    subFree(): [T, T];
    mulPair(f: T): T | null;
    mulSplit(p: T): T | null;
    mulFree(): [T, T];
    divPair(x: T): T | null;
    divSplit(x: T): T | null;
    divFree(): [T, T];
    powExp(b: T): T | null;
    powFree(): [T, T];
    numFree(): T;
    wellComplete(type: ExpressionType, val: T, ctxt?: T): boolean;
}