Parameter Make.1-Settings

val capacity : Sek__.PublicTypeAbbreviations.depth -> Sek__.PublicTypeAbbreviations.capacity

The function capacity receives a nonnegative depth k and must return the desired capacity of a chunk at depth k. This capacity must be at least 2.

val overwrite_empty_slots : bool

The flag overwrite_empty_slots determines whether the content of a just-emptied slot in an ephemeral sequence should be overwritten with the default value.

val threshold : Sek__.PublicTypeAbbreviations.capacity

threshold is the length up to which a persistent sequence can be represented in a simple and compact way. It must be at least 2.

val check_iterator_validity : bool

The flag check_iterator_validity determines whether runtime checks should be enabled so that an attempt to use an invalidated iterator is detected and gives rise to an Invalid_argument exception.