@@ -19606,7 +19606,7 @@ print( v[1] )
\fi}
\end{tcolorbox}
- \caption{An example involving casts on vectors.}
+ \caption{An example involving casts on arrays.}
\label{fig:map-bang}
\end{figure}
@@ -19669,7 +19669,7 @@ def map_inplace(f : Callable[[Any], Any], v) -> None:
def inc(x):
return x + 1
-v v = [0, 41]
+v = [0, 41]
map_inplace(inc, v)
print( v[1] )
\end{lstlisting}