def parse

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

import Base
import bend-toon-codec@0.1.0.0/src/head.bend as Hd

163# Parse a header from its `[`.
164def parse(+s: String) -> Result<&2, &2, String, Hdr>:
165  parse.pick(Hd.lead(s, 91), s)