(array, index)
return get_env().formula_manager.Select(array, index)
Returns a SELECT application on the array at the given index

    :param array: Specify the array
    :param index: Specify the index
    :returns: A SELECT application on array at index
    :rtype: FNode
Returns a SELECT application on the array at the given index
Returns a SELECT application on the array at the given index
def Select(array, index):
    """Returns a SELECT application on the array at the given index

    :param array: Specify the array
    :param index: Specify the index
    :returns: A SELECT application on array at index
    :rtype: FNode
    """
    return get_env().formula_manager.Select(array, index)
def Select ( array , index ) : return get_env ( ) . formula_manager . Select ( array , index )