Module Sek.DefaultSettings
The module DefaultSettings
provides a set of recommended settings for the functor Make
.
val capacity : Sek__.PublicTypeAbbreviations.depth -> Sek__.PublicTypeAbbreviations.capacity
The function
capacity
receives a nonnegative depthk
and must return the desired capacity of a chunk at depthk
. This capacity must be at least2
.
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.