type EC3
import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpuimport Base
1528# 3. a leaf a row: st[3t + 2] = s, tree_sum's remaining passes over the row's per block sums
1529type EC3 is Data:
1530 EC3{k: U32, per: U32, tl: Nat, th: U32}
import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpuimport Base
1528# 3. a leaf a row: st[3t + 2] = s, tree_sum's remaining passes over the row's per block sums
1529type EC3 is Data:
1530 EC3{k: U32, per: U32, tl: Nat, th: U32}