* @brief Resizes the array to size elements * * If size <= capacity_, then only change the size. otherwise, append size - * current_size entries, and then set new value to val */
source not stored for this graph (policy: none)
no outgoing calls