Decrement reference counter.
(self, obj)
| 705 | |
| 706 | class_dict["mk_string"] = mk_string |
| 707 | class_dict["io_result_show_error"] = io_result_show_error |
| 708 | |
| 709 | |
| 710 | # ============================================================================ |
| 711 | # Module-level singleton |
| 712 | # ============================================================================ |
| 713 | |
| 714 | _ffi_initialized = False |
| 715 | _cached_model: HeaderModel | None = None |
| 716 | _cached_structs: dict[str, type] | None = None |
| 717 | _LeanFFI: type | None = None |
nothing calls this directly
no outgoing calls
no test coverage detected