def low

bend-collections-laws-crypto@1.0.0.0 · spec/lib/common.bend:52

import Base

52def low(k: Nat, +n: Nat) -> Nat:
53  match k:
54    case 0n:
55      0n
56    case 1n+p:
57      Nat.add(bit(n), Nat.double(low(p, half(n))))