type Lead

emerging-ezhttp@0.21.0.0 · src/qs.bend:120

import Base

120# what a byte between characters is: ASCII, the lead of a sequence (its bits,
121# then what the sequence needs next), or a byte no sequence starts with
122type Lead is Data:
123  Ascii{}
124  Bad{}
125  Opens{cp: U32, left: Nat, lo: U32, hi: U32}