Method writeEncodedUint32

src/codec/utils/EncodeStream.h:172–174

* Writes a encoded unsigned 32-bit integer to the byte stream. */

   * Writes a encoded unsigned 32-bit integer to the byte stream.
   */
  void writeEncodedUint32(uint32_t value) {
    writeEncodedUint64(value);
  }

  /**
   * Writes a encoded signed 64-bit integer to the byte stream.