def c1_if
import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpuimport Base
1418def c1_if(ok: Bool, +t: U32, +c1: Nat, +c32: U32, lab: Array<F32>, z: Array<F32>, st: Array<F32>) -> Array<F32>:
1419 match ok:
1420 case True{}: c1_1(t, (t * c32 : U32), c1, c32, z, st, Array.get(F32, lab, t))
1421 case False{}: st