def args

bend-kit-redis@0.3.0.0 · redis.bend:237

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

237# Byte-string arguments (one Char per octet) as Bytes.
238def args(xs: List<&2, String>) -> List<&1, Bytes.Bytes>:
239  match xs:
240    case Nil{}:
241      Nil{}
242    case Con{h, t}:
243      Con{Bytes.from_string(h), args(t)}