(formula, steps)
return get_env().formula_manager.BVRor(formula, steps)
Returns the RIGHT rotation of the BV by the number of steps.

    :param formula: The target formula
    :param steps: Specify the number of steps.
    :returns: The RIGHT rotation of the BV by the number of steps
    :rtype: FNode
Returns the RIGHT rotation of the BV by the number of steps.
Returns the RIGHT rotation of the BV by the number of steps .
def BVRor(formula, steps):
    """Returns the RIGHT rotation of the BV by the number of steps.

    :param formula: The target formula
    :param steps: Specify the number of steps.
    :returns: The RIGHT rotation of the BV by the number of steps
    :rtype: FNode
    """
    return get_env().formula_manager.BVRor(formula, steps)
def BVRor ( formula , steps ) : return get_env ( ) . formula_manager . BVRor ( formula , steps )