Function lean_py_of_bool

LeanPy/native/python_bridge.c:476–479

}
LEAN_EXPORT lean_obj_res lean_py_false(lean_obj_arg unit, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    p_Py_IncRef(p_Py_False);
    return lean_io_result_mk_ok(wrap_pyobject(p_Py_False));
}

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