Function lean_py_false

LeanPy/native/python_bridge.c:466–470

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));
}
LEAN_EXPORT lean_obj_res lean_py_true(lean_obj_arg unit, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    p_Py_IncRef(p_Py_True);
    return lean_io_result_mk_ok(wrap_pyobject(p_Py_True));