def ce_rows
import bendtorch@1.3.0.0/main.bend as Bendtorchimport 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))