a> Type
  <li><code>x</code> is an instance of type T Type</li>.
  <li><code>u,v</code> is a pointer to a an instance of type T
  <li><code>count</code> is an instance of a type that can be converted to <code>std::size_t</code>.
</ul>
<h4><a name="saving_interface">Saving Archive Concept</a></h4>
<h4>Associated Types</h4>
Intuitively, a type modeling this concept will generate a sequence of bytes
corresponding to an arbitrary set of C++ data structures.  Each type modeling the
Saving Archive concept (SA) ma