~/jendhub

def gnb_rows

bendtorch@1.3.0.0 · main.bend:1954

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

1954def gnb_rows(left: Nat, +off: U32, +j: U32, +c: U32, +cg: Nat, +mu: F32, +r: F32, +ma: F32, +mb: F32, s: R4B) -> R4B:
1955  match left s:
1956    case 0n R4B{x, dy, g, dx, w}:
1957      lnb_w(Nat.sub(cg, 1n), j, off, mu, r, ma, mb, dx, w, Array.get(F32, x, (off + j : U32)), Array.get(F32, dy, (off + j : U32)), Array.get(F32, g, j))
1958    case 1n+l R4B{x, dy, g, dx, w}:
1959      gnb_rows(l, (off + c : U32), j, c, cg, mu, r, ma, mb, lnb_w(Nat.sub(cg, 1n), j, off, mu, r, ma, mb, dx, w, Array.get(F32, x, (off + j : U32)), Array.get(F32, dy, (off + j : U32)), Array.get(F32, g, j)))

Uses (8)

Used by (1)