def key

bend-toon-codec@0.1.0.0 · src/prim.bend:94

import bend-toon-codec@0.1.0.0/src/prim.bend as Prim

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

94def key(+tok: String) -> Result<&2, &2, String, String>:
95  key.pick(Hd.lead(tok, 34), tok)

Uses (4)

Used by (1)

bend-toon-codec@0.1.0.0/src/hdr:name.ok