def string

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

import Base

141# A String as a list of Chars under char.
142def string(s: String) -> List<&1, String>:
143  string.of(list(~Char, ~char, String.to_list(s)))