~/jendhub

def eb_if

bendtorch-gpu@1.3.0.0 · main.bend:1307

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

1307def eb_if(ok: Bool, +t: U32, +k: Nat, +d: U32, dy: Array<F32>, ids: Array<F32>, g: Array<F32>) -> Array<F32>:
1308  match ok:
1309    case True{}: es3_o(eb_loop(k, 0, t, d, ES3{ids, dy, g}))
1310    case False{}: g

Uses (8)

Used by (1)