~/jendhub

def allocation_depth

stelliferous@0.0.2.0 · storage_buffer.bend:38

import stelliferous@0.0.2.0/storage_buffer.bend as StorageBuffer
import Base

38# Positive requested lengths round to the next power-of-two capacity.
39# The caller establishes the machine allocation limit before calling Array.new.
40def allocation_depth(length: U32) -> Nat:
41  bit_length(32n,(length - 1 : U32))

Uses (4)

Used by (1)