export * from './formalSpecVerifier.js';
//# sourceMappingURL=formalSpecVerification.d.ts.map