Function leanpy_debug_rc

LeanPy/native/python_bridge.c:55–61

* Debug helper: read the m_rc of a lean_object* passed from Python. * Called as: lib._cffi.leanpy_debug_rc(ptr) * Returns: lean_io_result_mk_ok(lean_box(m_rc)) * * Called from Python ctypes — the caller does NOT adjust the Lean * refcount before calling, so we must not consume the reference. * b_lean_obj_arg signals borrowed semantics. */

 * b_lean_obj_arg signals borrowed semantics.
 */
LEAN_EXPORT lean_obj_res leanpy_debug_rc(b_lean_obj_arg x, lean_obj_arg w) {
    int rc = 0;
    if (!lean_is_scalar(x)) {
        rc = (int)x->m_rc;
    }
    return lean_io_result_mk_ok(lean_box((size_t)(unsigned)rc));
}

/* ------------------------------------------------------------------ */
/*  Forward-declared opaque CPython types                              */