~/jendhub

def lnb_rows

bendtorch@1.3.0.0 · main.bend:1802

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

1802def lnb_rows(left: Nat, +i: U32, +d: Nat, +df: F32, +eps: F32, s: R4B) -> R4B:
1803  match left:
1804    case 0n:
1805      lnb_row(d, (i * U32.from_nat(d) : U32), df, eps, s)
1806    case 1n+q:
1807      lnb_rows(q, (i + 1 : U32), d, df, eps, lnb_row(d, (i * U32.from_nat(d) : U32), df, eps, s))

Uses (8)

Used by (1)