bendtorch-gpu@1.3.0.0 · main.bend:1247
import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpu
import Base 1247type EEM is Data: 1248 EEM{k: Nat, d: U32}