def blocks

bendtorch@1.3.0.0 · spec.bend:175

import Base

175# k blocks of 2^p cells, the first from cell lo, each summed by bal; with p = 0, a row of k cells
176def blocks(+p: Nat, k: Nat, +lo: Nat) -> List<&2, Sum>:
177  match k:
178    case 0n:
179      Nil{}
180    case 1n+j:
181      bal(p, lo) <> blocks(p, j, Nat.add(lo, pw(p)))