(formula, start=0, end=None)
return get_env().formula_manager.BVExtract(formula, start=start, end=end)
Returns the slice of formula from start to end (inclusive).

    :param formula: The target formula
    :param start: Specify the start index
    :param end: Specify the end index
    :returns: The slice of formula from start to end (inclusive)
    :rtype: Fnode
Returns the slice of formula from start to end (inclusive).
Returns the slice of formula from start to end ( inclusive ) .
def BVExtract(formula, start=0, end=None):
    """Returns the slice of formula from start to end (inclusive).

    :param formula: The target formula
    :param start: Specify the start index
    :param end: Specify the end index
    :returns: The slice of formula from start to end (inclusive)
    :rtype: Fnode
    """
    return get_env().formula_manager.BVExtract(formula, start=start, end=end)
def BVExtract ( formula , start = 0 , end = None ) : return get_env ( ) . formula_manager . BVExtract ( formula , start = start , end = end )