Function WriteTime

src/codec/DataTypes.cpp:332–338

}

void WriteTime(EncodeStream* stream, Frame time) {
  // Since most of the time values are positive (time in keyframes),
  // just write it as uint64_t to save space (no need to write the sign bit).
  // If it is negative time, it is also can be written and read as normal, but
  // requires more space.
  stream->writeEncodedUint64(static_cast<uint64_t>(time));
}

void WriteColor(EncodeStream* stream, const Color& color) {
  stream->writeUint8(color.red);