Serialize an unsigned 8-bit integer to a stream.
Declared in <serialize.h>
<serialize.h>
template<typename Stream> void Serialize( Stream& s, uint8_t a);