Method _load_registry

lean_py/library.py:518–523

(self)

        if len(symbols) == 1:
            return symbols[0]
        if symbols:
            raise RuntimeError(
                f"library has multiple `initialize_*` symbols and none "
                f"matches `_{self.name}`: {symbols}"
            )
        raise RuntimeError(
            f"library does not export an `initialize_*` symbol for "
            f"`{self.name}`; was it compiled with `@[python]` attributes "
            f"and `precompileModules`/`shared`?"