import { BoundaryContractVerifier, ContractCaseBoundaryConfig, ILogPrinter, IResultPrinter, BoundaryFailure, BoundaryInvokableFunction } from './internals/index.js';
export type VerificationHandle = {
    id: string;
    verifier: BoundaryContractVerifier;
    invokeableFunctions: Record<string, BoundaryInvokableFunction>;
};
type VerifierId = string;
export declare const createVerifier: (config: Omit<ContractCaseBoundaryConfig, "testRunId">, callbackPrinter: ILogPrinter, resultPrinter: IResultPrinter, callerVersions: string[]) => VerifierId;
export declare const getVerifier: (verifierId: VerifierId, methodName: string) => VerificationHandle | BoundaryFailure;
export declare const closeVerifier: (verifierId: VerifierId) => void;
export {};
//# sourceMappingURL=verifier.d.ts.map