def depth

import ezx@1.11.0.0/src/share/sha.bend as Sha

import Base

41# the depth of the array that holds this many words, at most 32
42def depth(words: Nat) -> Nat:
43  depth.go(32n, words, 1n, 0n)

Uses (2)