type Ek

bend-toon-codec@0.1.0.0 · src/text.bend:20

import Base

20# What one character does to the output.
21type Ek is Data:
22  EkChar{u: U32}
23  EkNone{}
24  EkEnd{}
25  EkErr{m: String}