def depth_for

import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitset

import Base

165def depth_for(+n: Nat) -> Nat:
166  depth_go(max_depth(), n, 0n, 1n, Nat.is_le(n, Nat.mul(1n, 32n)))

Uses (5)