A strategy for allocation of ArrayBuffer on serialization.
ArrayBuffer
Allocates/reallocates a new ArrayBuffer.
When it is Some, old buffer and required minimal size on reallocation.
Some
The new ArrayBuffer.
Decides that the current ArrayBuffer should be trimmed.
The used length for serialization in the buffer.
Whether the buffer should be trimmed.
A strategy for allocation of
ArrayBufferon serialization.