Function AShr

lean_py/z3/core.py:1644–1646

Arithmetic shift right (sign-extending).

(a: BitVecRef, b: BitVecRef | int)

def AShr(a: BitVecRef, b: BitVecRef | int) -> BitVecRef:
    """Arithmetic shift right (sign-extending)."""
    return a._binop(BinOp.ASHR, b)


# ---------------------------------------------------------------------------