type Widths

cswap-bend-cli@0.1.0.0 · profview.bend:166

import Base

166type Widths is Data:
167  Widths{n: Nat, s: Nat, t: Nat, m: Nat, c: Nat, i: Nat}