def bit_length_go

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

import Base

157def bit_length_go(fuel: Nat, +n: Nat, +k: Nat) -> Nat:
158  match fuel n:
159    case 0n _:
160      k
161    case 1n+f 0n:
162      k
163    case 1n+f 1n+ +np:
164      bit_length_go(f, Nat.div(1n+np, 2n), 1n+k)