Function lean_py_to_int64

LeanPy/native/python_bridge.c:574–579

/* ------------------------------------------------------------------ */
/*  Conversions: Python → Lean                                         */
/* ------------------------------------------------------------------ */

LEAN_EXPORT lean_obj_res lean_py_to_bool(b_lean_obj_arg p, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    int r = p_PyObject_IsTrue(unwrap_pyobject(p));
    if (r < 0) return raise_py_error();
    return lean_io_result_mk_ok(lean_box(r ? 1 : 0));
}