~/jendhub

def ce_row

bendtorch@1.3.0.0 · main.bend:3230

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

3230def ce_row(+c: Nat, +off: U32, +y: Nat, +nf: F32, s: AS) -> AS:
3231  match s:
3232    case AS{z, loss}:
3233      ce_row2(c, off, y, nf, ce_pick(Nat.is_le(1n+y, c), c, off, (off + U32.from_nat(y) : U32), loss, z))

Uses (9)

Used by (1)