type EC3

bendtorch-gpu@1.3.0.0 · main.bend:1528

import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpu
import 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}

Uses (2)

Used by (2)