import { NONINTERFERENCE_DIMENSIONS, type NoninterferenceCase, type NoninterferenceGenerationConfig, type NoninterferenceResult, type NoninterferenceSpec } from "./types.js";
export declare function generateNoninterferenceCases(config: NoninterferenceGenerationConfig): NoninterferenceCase[];
export declare function runNoninterferenceChecks<T>(spec: NoninterferenceSpec<T>): Promise<NoninterferenceResult>;
export { NONINTERFERENCE_DIMENSIONS };
//# sourceMappingURL=noninterference.d.ts.map