This encoding system is LIFO, so the encoder buffers all items until .finish is called.
Finish encoding and return the encoded result.
Encode one item. card is the item's cardinality, i.e. one past its maximum.
See Implementation
This encoding system is LIFO, so the encoder buffers all items until .finish is called.