~/jendhub

def drow

bendtorch@1.3.0.0 · main.bend:2369

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

2369# the dots of one row of a (hd numbers from ia) with consecutive rows of b (hd numbers from ib, each bs further): the
2370# current one r and m more, in order
2371def drow(m: Nat, +hd: Nat, +ia: U32, +ib: U32, +bs: U32, acc: List<&2, F32>, r: D2) -> DR:
2372  match m r:
2373    case 0n D2{a, b, +s}:
2374      DR{a, b, rcat(s <> acc, Nil{})}
2375    case 1n+p D2{a, b, +s}:
2376      drow(p, hd, ia, (ib + bs : U32), bs, s <> acc, dot0(hd, ia, (ib + bs : U32), 1, 1, a, b))

Uses (9)

Used by (7)