Function leanpy_make_callable

LeanPy/native/python_bridge.c:1047–1050

    if (!instance) {
        lean_dec(closure);
        return raise_py_error();
    }
    LeanCallableObject *self = (LeanCallableObject *)instance;
    self->closure = closure; /* owned */
    self->has_kw  = has_kw;
    return lean_io_result_mk_ok(wrap_pyobject(instance));
}