Parameter Make.2-C
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
.