def bytes.of

bend-kit-property@0.4.0.0 · shrink.bend:159

import bend-kit-property@0.4.0.0/shrink.bend as Shrink

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

159def bytes.of(xs: List<&1, List<&2, U32>>) -> List<&1, Bytes.Bytes>:
160  match xs:
161    case Nil{}:
162      Nil{}
163    case x <> t:
164      Bytes.from_string(bytes.chars(x)) <> bytes.of(t)

Uses (5)

Used by (1)

bend-kit-property@0.4.0.0/shrink:bytes