def String.from_list
import Base2167def String.from_list(cs: List<&2, Char>) -> String:
2168 match cs:
2169 case Nil{}:
2170 SNil{}
2171 case h <> t:
2172 SCon{h, String.from_list(t)}
import Base2167def String.from_list(cs: List<&2, Char>) -> String:
2168 match cs:
2169 case Nil{}:
2170 SNil{}
2171 case h <> t:
2172 SCon{h, String.from_list(t)}