Parameter Make.2-Settings

include Sek__.PublicSettings.CAPACITY
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.

include Sek__.PublicSettings.CHECK_ITERATOR_VALIDITY
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.