import type { DesignResourceSymbolicNoninterferenceProofV2 } from "./design-resource-symbolic-fact-types.js";
export declare function parseSymbolicNoninterferenceProof(value: unknown, label: string): DesignResourceSymbolicNoninterferenceProofV2;