Method __init__

lean_py/z3/core.py:626–632

(
        self,
        ast: ASTNode,
        sort: BitVecSortRef,
        vars: frozenset[tuple[str, ASTSort]] = frozenset(),
    )

    __slots__ = ()

    def __init__(
        self,
        ast: ASTNode,
        sort: BitVecSortRef,
        vars: frozenset[tuple[str, ASTSort]] = frozenset(),
    ) -> None:
        super().__init__(ast, sort, vars)

    def _binop(self, op: str, other: BitVecRef | int) -> BitVecRef:
        other = _coerce_bv(other, self._sort)