~/jendhub

def ce_row2

bendtorch@1.3.0.0 · main.bend:3225

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

3225def ce_row2(+c: Nat, +off: U32, +y: Nat, +nf: F32, r: AS) -> AS:
3226  match r:
3227    case AS{z, +loss}:
3228      AS{ce_g(Nat.sub(c, 1n), off, 0, U32.from_nat(y), nf, Array.get(F32, z, off)), loss}

Uses (8)

Used by (1)