Function lean_py_import

LeanPy/native/python_bridge.c:728–731

    }
    PyObject *r = p_PyObject_Call(unwrap_pyobject(f), tup, d);
    p_Py_DecRef(tup);
    p_Py_DecRef(d);
    return ok_owned_or_err(r);
}

/* ------------------------------------------------------------------ */
/*  Modules and globals                                                */