~/jendhub

def lsmf_rows

bendtorch@1.3.0.0 · main.bend:1482

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

1482def lsmf_rows(left: Nat, +i: U32, +c: Nat, x: Array<F32>) -> Array<F32>:
1483  match left:
1484    case 0n:
1485      lsm_row(c, (i * U32.from_nat(c) : U32), x)
1486    case 1n+q:
1487      lsmf_rows(q, (i + 1 : U32), c, lsm_row(c, (i * U32.from_nat(c) : U32), x))

Uses (8)

Used by (1)