def c3_if
import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpuimport Base
1536def c3_if(ok: Bool, +t: U32, +per: U32, +tl: Nat, +th: U32, bs: Array<F32>, st: Array<F32>) -> Array<F32>:
1537 match ok:
1538 case True{}: c3_put(t, st, tnode(tl, U32.is_lt(th, per), (t * per : U32), per, th, bs))
1539 case False{}: st