StorageBuffer.bit_length: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/storage_buffer.bend as StorageBuffer
Lines 31-36 of stelliferous@0.0.2.0/storage_buffer.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/storage_buffer.bend&start_line=31&end_line=36

import Base

# At most 32 word steps, independent of the allocation length.
def bit_length(remaining_bits: Nat,+value: U32) -> Nat:
  match remaining_bits:
    case 0n: 0n
    case 1n+rest:
      Bool.pick(Nat,U32.is_zero(value),0n,1n+bit_length(rest,U32.shr(value)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_zero
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shr