MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / lean_py_none

Function lean_py_none

LeanPy/native/python_bridge.c:456–460  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

454 p_PyGILState_Release(*st);
455}
456#define WITH_GIL() \
457 PyGILState_STATE _gil_state \
458 __attribute__((cleanup(_leanpy_gil_release))) \
459 = p_PyGILState_Ensure()
460
461/* ------------------------------------------------------------------ */
462/* Singletons */
463/* ------------------------------------------------------------------ */

Callers

nothing calls this directly

Calls 1

wrap_pyobjectFunction · 0.85

Tested by

no test coverage detected