Tezos_stdlibSourceBounded sequence: keep only the n greatest elements.
This module implements a bufferisation abstraction to store temporary raw data chunks (as bytes) when chunks are read sequentially. The function write allows to store chunks in the buffer and the function read to read them from the buffer.
This module implements arrays equipped with accessors that cannot raise exceptions. Reading out of the bounds of the arrays return a fallback value fixed at array construction time, writing out of the bounds of the arrays is ignored.
This module implements functional arrays equipped with accessors that cannot raise exceptions following the same design principles as FallbackArray:
Bounded queues combined with hash-tables, based on Aches.
A 'dropbox' with a single element.
Tags and tag sets. Tags are basically similar to a plain extensible variant type, but wrapped with metadata that enables them to be printed generically and combined into tag sets where each tag is either not present or associated with a specific value.