def ce_rows

bendtorch@1.3.0.0 · main.bend:3235

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

3235def ce_rows(labels: List<&2, Nat>, +c: Nat, +i: U32, +nf: F32, s: AS) -> AS:
3236  match labels:
3237    case Nil{}:
3238      s
3239    case Con{+y, t}:
3240      ce_rows(t, c, (i + 1 : U32), nf, ce_row(c, (i * U32.from_nat(c) : U32), y, nf, s))

Uses (9)

Used by (1)