~/jendhub

def len.pick

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

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

129def len.pick(+ok: Bool, +n: Maybe<&2, U32>, +rest: String) -> Result<&2, &2, String, Hdr>:
130  match ok n:
131    case True{} Some{v}:
132      delim(v, rest)
133    case _ _:
134      bad("invalid array length")

Uses (8)

Used by (1)