def depth_for
import gralha-byte-words@0.1.0.0/words.bend as Wordsimport Base
30def depth_for(+need: U32) -> Nat:
31 U32.to_nat(fit(31n, 0, need, U32.is_le(need, 1)))
import gralha-byte-words@0.1.0.0/words.bend as Wordsimport Base
30def depth_for(+need: U32) -> Nat:
31 U32.to_nat(fit(31n, 0, need, U32.is_le(need, 1)))