Method __init__

lean_py/z3/core.py:243–245

(self, width: int)

    __slots__ = ("_width",)

    def __init__(self, width: int) -> None:
        super().__init__(BitvecASTSort(width))
        self._width = width

    @property
    def size(self) -> int: