vert_var_array

proveit.vert_var_array(var, start_index_or_indices, end_index_or_indices)