def ts_carry
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
3137def ts_carry(odd: Bool, +m: U32, a: Array<F32>) -> Array<F32>:
3138 match odd:
3139 case True{}:
3140 ts_put(U32.div(m, 2), Array.get(F32, a, (m - 1 : U32)))
3141 case False{}:
3142 a