type EGW

bendtorch-gpu@1.3.0.0 · main.bend:530

import Base

530type EGW is Data:
531  EGW{c: U32, n: Nat, hw: Nat, hwc: U32, ng: U32, cg: U32}