~/jendhub

def delim

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

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

125# The delimiter symbol, then `]`.
126def delim(+n: U32, +s: String) -> Result<&2, &2, String, Hdr>:
127  delim.pick(Hd.lead2(s, 9, 93), Hd.lead2(s, 124, 93), Hd.lead(s, 93), n, s)

Uses (7)

Used by (1)