~/jendhub

def names

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

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

66def names(+d: U32, +toks: List<&2, String>) -> Result<&2, &2, String, List<&2, String>>:
67  match toks:
68    case Nil{}:
69      Done{Nil{}}
70    case Con{t, rest}:
71      names.cons(name(d, String.trim(t)), names(d, rest))

Uses (7)

Used by (1)