~/jendhub

def cx_ls

bendtorch-gpu@1.3.0.0 · main.bend:1583

import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpu
import Base

1583def cx_ls(left: Nat, ls: List<&2, Nat>, +i: U32, +c: Nat, r: LS) -> LS:
1584  match left ls r:
1585    case 1n+q Con{+y, t} LS{a, +loss}: cx_ls(q, t, (i + 1 : U32), c, cx_t1(Nat.is_le(1n+y, c), i, loss, Array.get(F32, a, (i * 3 : U32))))
1586    case _ _ r: r

Uses (10)

Used by (1)