import type { ContractDescription, ContractData, AnyCaseNodeOrData, CaseExample, MatchContextWithoutLookup, LookupableMatcher } from '../../entities/types';
export declare const makeContract: (description: ContractDescription) => ContractData;
export declare const addExample: (contract: ContractData, example: CaseExample, context: MatchContextWithoutLookup) => ContractData;
export declare const hasFailure: (contract: ContractData) => boolean;
export declare const findMatcher: (contract: ContractData, uniqueName: string) => AnyCaseNodeOrData | undefined;
export declare const addVariable: (contract: ContractData, uniqueName: string, variable: AnyCaseNodeOrData, context: MatchContextWithoutLookup) => ContractData;
export declare const findVariable: (contract: ContractData, uniqueName: string) => AnyCaseNodeOrData | undefined;
export declare const addLookupableMatcher: (contract: ContractData, matcher: LookupableMatcher, context: MatchContextWithoutLookup) => ContractData;