def cells

cswap-bend-cli@0.1.0.0 · tui/fmt.bend:169

import Base

169# `n` cells from index `i`.
170def cells(+n: Nat, +i: Nat, +full: Nat, +half: Bool, +tick: Maybe<&2, Nat>, +r: Role, +dim: Bool) -> List<&2, Seg>:
171  match n:
172    case 0n:
173      Nil{}
174    case 1n+p:
175      Con{cell(i, full, half, tick, r, dim), cells(p, Nat.add(i, 1n), full, half, tick, r, dim)}