~/jendhub

def ef_if

bendtorch-gpu@1.3.0.0 · main.bend:1275

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

1275def ef_if(ok: Bool, +t: U32, +k: Nat, +d: U32, e: Array<F32>, ids: Array<F32>, o: Array<F32>) -> Array<F32>:
1276  match ok:
1277    case True{}: es3_o(ef_loop(k, 0, t, d, ES3{ids, e, o}))
1278    case False{}: o

Uses (8)

Used by (1)