~/jendhub

def msb.go

bendonnect-rpc@0.1.0.0 · src/pb.bend:309

import bendonnect-rpc@0.1.0.0/src/pb.bend as Pb
import Base

309# floor(log2 m) for m >= 1 (0 for m = 0).
310def msb.go(fuel: Nat, +m: U32, +acc: U32) -> U32:
311  match fuel:
312    case 0n:
313      acc
314    case 1n+p:
315      msb.go(p, (m >> 1n : U32), (acc + Bool.to_u32(U32.is_gt(m, 1)) : U32))

Uses (6)

Used by (1)