Function shared_lib_extension

lean_py/utils.py:58–63

()

    return Path(d) if d else None


def lean_lib_dir() -> Path:
    """Where Lean's own shared libraries live."""
    if b := bundle_dir():
        return b
    return lean_prefix() / "lib" / "lean"


def lean_include_dir() -> Path: