~/jendhub

def after

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

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

110# After `]`: the colon, or a field list.
111def after(+n: U32, +d: U32, +s: String) -> Result<&2, &2, String, Hdr>:
112  after.pick(Hd.lead(s, 58), Hd.lead(s, 123), n, d, s)

Uses (6)

Used by (1)