Class BitVecSortRef

lean_py/z3/core.py:238–249

Fixed-width bit-vector sort, maps to Lean's ``BitVec n``.

class BitVecSortRef(SortRef):
    """Fixed-width bit-vector sort, maps to Lean's ``BitVec n``."""

    __slots__ = ("_width",)

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

    @property
    def size(self) -> int:
        return self._width


def BitVecSort(n: int) -> BitVecSortRef: