type Dm

bendtorch@1.3.0.0 · main.bend:2543

import Base

2543type Dm is Data:
2544  Dm{t: Nat, g: Nat, hd: Nat, w: Nat, kvw: Nat, sc: F32}