def ts_pass
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
3144def ts_pass(+m: U32, a: Array<F32>) -> Array<F32>:
3145 ts_carry(U32.is_eq(U32.mod(m, 2), 1), m, ts_pairs(U32.to_nat(U32.div(m, 2)), 0, a))
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
3144def ts_pass(+m: U32, a: Array<F32>) -> Array<F32>:
3145 ts_carry(U32.is_eq(U32.mod(m, 2), 1), m, ts_pairs(U32.to_nat(U32.div(m, 2)), 0, a))