import { type ProtocolCase, type ProtocolCaseKind, type ProtocolContractSpec, type ProtocolUniRule } from "./types.js";
export declare function generateProtocolCases(spec: ProtocolContractSpec): ProtocolCase[];
export declare function protocolCaseKindsForRule(rule: ProtocolUniRule): ProtocolCaseKind[];
//# sourceMappingURL=generate-protocol-cases.d.ts.map