def strs

bend-kit-jwt@0.11.0.1 · jwt.bend:205

import bend-kit-jwt@0.11.0.1/jwt.bend as Jwt

import Base
import bend-kit-json@0.7.0.0/json.bend as Json

205def strs(xs: List<&1, Json.Val>, acc: Maybe<&2, List<&2, String>>) -> Maybe<&2, List<&2, String>>:
206  match xs:
207    case Nil{}:
208      acc
209    case x <> t:
210      strs(t, strs.push(str.of(x), acc))

Uses (6)

Used by (1)

bend-kit-jwt@0.11.0.1/jwt:lit