def String.reverse.go
import Base2043def String.reverse.go(s: String, acc: String) -> String:
2044 match s:
2045 case SNil{}:
2046 acc
2047 case SCon{h, t}:
2048 String.reverse.go(t, SCon{h, acc})
import Base2043def String.reverse.go(s: String, acc: String) -> String:
2044 match s:
2045 case SNil{}:
2046 acc
2047 case SCon{h, t}:
2048 String.reverse.go(t, SCon{h, acc})