~/jendhub

def bit_length

bend-collections-laws-math@1.0.0.0 · src/math/natural.bend:166

import bend-collections-laws-math@1.0.0.0/src/math/natural.bend as Natural
import Base

166def bit_length(+n: Nat) -> Nat:
167  bit_length_go(n, n, 0n)

Uses (2)

Used by (109)