~/jendhub

def high_bits

bend-collections-laws-math@1.0.0.0 · src/math/f64.bend:593

import bend-collections-laws-math@1.0.0.0/src/math/f64.bend as F64
import 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))

Uses (2)

Used by (5)