Function _bind_inline_impls

lean_py/_runtime.py:298–300

No-op; inline methods are defined directly on the class.

(self)

                self._missing_symbols.append(func.name)

    def _bind_inline_impls(self):
        """No-op; inline methods are defined directly on the class."""
        pass

    # Build the class dict with __init__ and exported binding setup
    class_dict = {