(left, right)
return get_env().formula_manager.BVAShr(left, right)
Returns the RIGHT arithmetic shift of the left BV by the number
        of steps specified by the right BV.

    :param left: Specify the left bitvector
    :param right: Specify the right bitvector
    :returns: The RIGHT arithmetic shift of the left BV by the number
              of steps specified by the right BV
    :rtype: FNode
Returns the RIGHT arithmetic shift of the left BV by the number
        of steps specified by the right BV.
Returns the RIGHT arithmetic shift of the left BV by the number of steps specified by the right BV .
def BVAShr(left, right):
    """Returns the RIGHT arithmetic shift of the left BV by the number
        of steps specified by the right BV.

    :param left: Specify the left bitvector
    :param right: Specify the right bitvector
    :returns: The RIGHT arithmetic shift of the left BV by the number
              of steps specified by the right BV
    :rtype: FNode
    """
    return get_env().formula_manager.BVAShr(left, right)
def BVAShr ( left , right ) : return get_env ( ) . formula_manager . BVAShr ( left , right )