def bit_length
import bend-collections@1.0.0.0/src/math/natural.bend as Naturalimport Base
166def bit_length(+n: Nat) -> Nat:
167 bit_length_go(n, n, 0n)
import bend-collections@1.0.0.0/src/math/natural.bend as Naturalimport Base
166def bit_length(+n: Nat) -> Nat:
167 bit_length_go(n, n, 0n)