(formula, increase)
return get_env().formula_manager.BVSExt(formula, increase)
Returns the signed-extension of the BV.

    New bits are set according to the most-significant-bit.

    :param formula: The target formula
    :param increase: Specify the 'increase' value
    :returns: The signed-extension of the BV.
    :rtype: FNode
Returns the signed-extension of the BV.
Returns the signed - extension of the BV .
def BVSExt(formula, increase):
    """Returns the signed-extension of the BV.

    New bits are set according to the most-significant-bit.

    :param formula: The target formula
    :param increase: Specify the 'increase' value
    :returns: The signed-extension of the BV.
    :rtype: FNode
    """
    return get_env().formula_manager.BVSExt(formula, increase)
def BVSExt ( formula , increase ) : return get_env ( ) . formula_manager . BVSExt ( formula , increase )