bendtorch-gpu@1.3.0.0 · main.bend:384
import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpu
import Base 384type EDG is Data: 385 EDG{d: U32, n: Nat}