~/jendhub

def ts_pairs

bendtorch@1.3.0.0 · main.bend:3125

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

3125def ts_pairs(k: Nat, +i: U32, a: Array<F32>) -> Array<F32>:
3126  match k:
3127    case 0n:
3128      a
3129    case 1n+q:
3130      ts_pairs(q, (i + 1 : U32), ts_pair(i, Array.get(F32, a, (i + i : U32))))

Uses (7)

Used by (1)