def dblocks_in

bendtorch@1.3.0.0 · main.bend:2898

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

2898def dblocks_in(left: Nat, +bi: Nat, +t: Nat, +gw: Nat, +hd: Nat, +w: Nat, +kvw: Nat, +kv: Nat, r: UD) -> D3:
2899  match left r:
2900    case 0n UD{xs, o}:
2901      o
2902    case 1n+n r:
2903      dblocks_in(n, 1n+bi, t, gw, hd, w, kvw, kv, ud_row(kv, 0n, t, gw, hd, w, kvw, Nat.mul(bi, t), r))

Uses (5)

Used by (2)