Function lean_py_repr

LeanPy/native/python_bridge.c:605–608

    }
    lean_object *out = lean_mk_string(cs);
    p_Py_DecRef(s);
    return lean_io_result_mk_ok(out);
}

LEAN_EXPORT lean_obj_res lean_py_to_string(b_lean_obj_arg p, lean_obj_arg world) {
    (void)world; ENSURE_INIT(); WITH_GIL();
    return py_obj_to_lean_string(p_PyObject_Str(unwrap_pyobject(p)));