def ts_pass

bendtorch@1.3.0.0 · main.bend:3144

import bendtorch@1.3.0.0/main.bend as Bendtorch
import 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))

Uses (9)

Used by (1)