def fields.after
import bend-toon-codec@0.1.0.0/src/hdr.bend as Hdrimport 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)