Module Sek__.PublicSettings

Settings

Chunk Capacity

module type CAPACITY = sig ... end

Overwriting Empty Slots

module type OVERWRITE_EMPTY_SLOTS = sig ... end

Compact Persistent Sequence Threshold

module type THRESHOLD = sig ... end

Dynamic Checking of Iterator Validity

module type CHECK_ITERATOR_VALIDITY = sig ... end