def fields.after

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

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

87# After `}`: the colon follows at once.
88def fields.after(+n: U32, +d: U32, +inner: String, +s: String) -> Result<&2, &2, String, Hdr>:
89  fields.after.pick(Hd.lead(s, 58), n, d, inner, s)

Uses (6)

Used by (1)