import type { ContractClaim, ContractVerification } from './types.js';
export declare function verifyTypeContracts(contracts: ContractClaim[], code: string): ContractVerification[];