Function leanpy_make_callable_kw

LeanPy/native/python_bridge.c:1052–1055

    self->closure = closure; /* owned */
    self->has_kw  = has_kw;
    return lean_io_result_mk_ok(wrap_pyobject(instance));
}

LEAN_EXPORT lean_obj_res leanpy_make_callable(lean_obj_arg closure, lean_obj_arg world) {
    (void)world;
    return make_callable_obj(closure, 0);
}