type Hdr

bend-toon-codec@0.1.0.0 · src/hdr.bend:11

import Base

11# length, delimiter as a code point, field names (empty: not tabular), and the
12# text after the colon.
13type Hdr is Data:
14  Hdr{n: U32, d: U32, fields: List<&2, String>, rest: String}