Enable Z3 tracing (no-op — Lean has its own tracing).
(tag: str)
| 4328 | |
| 4329 | |
| 4330 | def enable_trace(tag: str) -> None: |
| 4331 | """Enable Z3 tracing (no-op — Lean has its own tracing).""" |
| 4332 | pass |
| 4333 | |
| 4334 | |
| 4335 | def disable_trace(tag: str) -> None: |
no outgoing calls