export declare class Checker {
    r1csFilepath: string;
    symFilepath: string;
    r1cs: {
        constraints: any;
        prime: any;
        nConstraints: number;
    } | any;
    symbols: {} | undefined;
    signals: {} | undefined;
    constructor(r1csFilepath: string, symFilepath: string);
    load(): Promise<void>;
    checkConstraintsAndOutput(witnessFilePath: string): Promise<true | undefined>;
}
//# sourceMappingURL=checker.d.ts.map