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.