Function lean_py_true

LeanPy/native/python_bridge.c:461–465

        = p_PyGILState_Ensure()

/* ------------------------------------------------------------------ */
/*  Singletons                                                         */
/* ------------------------------------------------------------------ */

LEAN_EXPORT lean_obj_res lean_py_none(lean_obj_arg unit, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    p_Py_IncRef(p_Py_None);
    return lean_io_result_mk_ok(wrap_pyobject(p_Py_None));