Serialize a vector using the underlying vector formatter.
Declared in <serialize.h>
<serialize.h>
template< typename Stream, typename V> void Ser( Stream& s, V const& v);