def bytes.chars
import bend-kit-property@0.4.0.0/shrink.bend as Shrinkimport Base
152def bytes.chars(xs: List<&2, U32>) -> String:
153 match xs:
154 case Nil{}:
155 SNil{}
156 case x <> t:
157 SCon{Chr{x}, bytes.chars(t)}
import bend-kit-property@0.4.0.0/shrink.bend as Shrinkimport Base
152def bytes.chars(xs: List<&2, U32>) -> String:
153 match xs:
154 case Nil{}:
155 SNil{}
156 case x <> t:
157 SCon{Chr{x}, bytes.chars(t)}