def string.of

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

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

import Base

134def string.of(xs: List<&1, List<&2, Char>>) -> List<&1, String>:
135  match xs:
136    case Nil{}:
137      Nil{}
138    case x <> t:
139      String.from_list(x) <> string.of(t)

Uses (4)

Used by (1)

bend-kit-property@0.4.0.0/shrink:string