Method __init__

lean_py/marshal.py:65–67

(self, ptr: Any, *, owned: bool = True)

    __slots__ = ("_ptr", "_owned")

    def __init__(self, ptr: Any, *, owned: bool = True) -> None:
        self._ptr = ptr
        self._owned = owned

    @classmethod
    def borrow(cls, ptr: Any) -> LeanObj: