Function lean_lib_dir

lean_py/utils.py:47–49

Where Lean's own shared libraries live.

()

def bundle_dir() -> Path | None:
    """Directory of a self-contained library bundle, if one is active.

    When ``LEANPY_BUNDLE_DIR`` is set (e.g. by a wheel-installed library's
    loader), the Lean runtime shared libraries and the user dylib have been
    vendored and relocated there, so we can resolve everything without an