bend-toon-codec@0.1.0.0 · src/num.bend:23
import bend-toon-codec@0.1.0.0/src/num.bend as Num
import Base 23type Sp2 is Data: 24 Sp2{d: String, p: U32}