export { proofDirective } from './proof.js';
export type { ProofKind, ProofContainer } from './types.js';
//# sourceMappingURL=index.d.ts.map