def String.to_list
import Base2160def String.to_list(s: String) -> List<&2, Char>:
2161 match s:
2162 case SNil{}:
2163 Nil{}
2164 case SCon{h, t}:
2165 h <> String.to_list(t)
import Base2160def String.to_list(s: String) -> List<&2, Char>:
2161 match s:
2162 case SNil{}:
2163 Nil{}
2164 case SCon{h, t}:
2165 h <> String.to_list(t)