export { independentOpReorderingCheck, localeInvariantStorageCheck, representationPreservingCheck, retryNonDuplicationCheck, serializationRoundTripCheck, } from "./checks.js";
export { generateNoninterferenceCases, NONINTERFERENCE_DIMENSIONS, runNoninterferenceChecks, } from "./noninterference.js";
export { runMetamorphicRelation } from "./run-metamorphic-relation.js";
export { METAMORPHIC_RELATION_CLASSES, type MetamorphicRelationClass, type MetamorphicRelationResult, type MetamorphicRelationSpec, type NoninterferenceCase, type NoninterferenceDimension, type NoninterferenceGenerationConfig, type NoninterferenceResult, type NoninterferenceSpec, type NoninterferenceViolation, } from "./types.js";
//# sourceMappingURL=index.d.ts.map