def high_bits
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
593def high_bits(k: Nat, +n: Nat) -> Nat:
594 match k:
595 case 0n:
596 n
597 case 1n+p:
598 high_bits(p, Nat.div(n, 2n))
import bend-collections-laws-crypto@1.0.0.0/src/math/f64.bend as F64import Base
593def high_bits(k: Nat, +n: Nat) -> Nat:
594 match k:
595 case 0n:
596 n
597 case 1n+p:
598 high_bits(p, Nat.div(n, 2n))