(array, index, value)
return get_env().formula_manager.Store(array, index, value)
Returns a STORE application with given value on array at the given index

    :param array: Specify the array
    :param index: Specify the index
    :returns: A STORE on the array at the given index with the given value
    :rtype: FNode
Returns a STORE application with given value on array at the given index
Returns a STORE application with given value on array at the given index
def Store(array, index, value):
    """Returns a STORE application with given value on array at the given index

    :param array: Specify the array
    :param index: Specify the index
    :returns: A STORE on the array at the given index with the given value
    :rtype: FNode
    """
    return get_env().formula_manager.Store(array, index, value)
def Store ( array , index , value ) : return get_env ( ) . formula_manager . Store ( array , index , value )