import { Catalog, Form, Veto, Operator, ExpressionType } from './00_Declarations';
import { Frac } from './15_Frac';
export declare class MainCatalog implements Catalog<Frac> {
    private static formStore;
    private static vetoStore;
    private forms;
    private vetos;
    static registerForm(form: Form<Frac>): void;
    static registerNForm(form: Form<number>): void;
    static registerVeto(veto: Veto<Frac>): void;
    static registerNVeto(veto: Veto<number>): void;
    constructor(keys: string[]);
    retrieve(op: Operator): Form<Frac>;
    check(type: ExpressionType, val: Frac, ctxt?: Frac): boolean;
}