export { conservationCheck, effectMultiplicityCheck, legalTransitionsCheck, monotonicVersionsCheck, nonnegativeBoundsCheck, ownershipTenantIsolationCheck, referentialLifecycleCheck, reversalBoundedCheck, } from "./combinators.js";
export { replayPropertyExecution, runPropertyInvariant, type PropertyInvariantSpec, } from "./run-property-invariant.js";
export { runStateMachineInvariant, type StateMachineInvariantSpec, } from "./state-machine.js";
export { PROPERTY_INVARIANT_CLASSES, type PropertyExecutionRecord, type PropertyInvariantClass, type PropertyInvariantResult, type StateMachineInvariantResult, type StateMachineTransitionMode, } from "./types.js";
//# sourceMappingURL=index.d.ts.map