Ensure the runtime types are built (lazy init).
()
| 739 | return _LeanFFI # type: ignore[return-value] |
| 740 | |
| 741 | |
| 742 | def get_constants() -> dict[str, int]: |
| 743 | """Get the extracted constants.""" |
| 744 | _ensure_built() |
| 745 | return _cached_model.constants # type: ignore[union-attr] |
| 746 | |
| 747 | |
| 748 | @functools.lru_cache(maxsize=1) |
| 749 | def get_lean_ffi(): |
| 750 | """Get a singleton LeanFFI instance.""" |
| 751 | cls = get_ffi_class() |
no test coverage detected