~/jendhub

def tsx

bendtorch-gpu@1.3.0.0 · main.bend:1434

import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpu
import Base

1434def tsx(l: Nat, +lo: U32, +h: U32, +m: F32, a: Array<F32>) -> TS:
1435  match l:
1436    case 0n: tsx_leaf(lo, m, Array.get(F32, a, lo))
1437    case 1n++q: ts_then(tsx(q, lo, U32.shr(h), m, a), +s => a2 => ts_plus(s, tsx(q, (lo + h : U32), U32.shr(h), m, a2)))

Uses (11)

Used by (1)