Function leanpy_is_lean_obj_handle

LeanPy/native/python_bridge.c:1242–1251

* leanpy_is_lean_obj_handle: Python-side helper to check whether a * lean_object* (seen through the Py external class) wraps a LeanObjHandle. * Returns the inner lean_object* pointer value, or 0 if not a handle. */

    lean_object *some = lean_alloc_ctor(1, 1, 0);
    lean_ctor_set(some, 0, result);
    return lean_io_result_mk_ok(some);
}

/*
 * leanpy_is_lean_obj_handle: Python-side helper to check whether a
 * lean_object* (seen through the Py external class) wraps a LeanObjHandle.
 * Returns the inner lean_object* pointer value, or 0 if not a handle.
 */
LEAN_EXPORT uintptr_t leanpy_is_lean_obj_handle(b_lean_obj_arg py_ext) {
    if (!py_initialized || !lean_is_external(py_ext)) return 0;
    PyObject *pyobj = unwrap_pyobject(py_ext);
    if (!pyobj) return 0;
    PyObject *ht = get_lean_obj_handle_type();