import type { RequirementView, ResolvedClaim } from "../requirement-walk.js";
export interface RequirementTestArgs {
    readonly view: RequirementView;
    readonly concern: string;
    readonly statement: string;
    readonly counterexample: string;
    readonly targets: readonly ResolvedClaim[];
    readonly disposition?: string | undefined;
    readonly trackedBy?: readonly string[] | undefined;
}
export declare function renderRequirementTest(a: RequirementTestArgs): string;
//# sourceMappingURL=requirement-test.d.ts.map