def rev
import gralha-text-scan@0.1.0.1/scan.bend as Scanimport Base
35def rev(s: String, acc: String) -> String:
36 match s:
37 case SNil{}: acc
38 case SCon{c, t}: rev(t, SCon{c, acc})
import gralha-text-scan@0.1.0.1/scan.bend as Scanimport Base
35def rev(s: String, acc: String) -> String:
36 match s:
37 case SNil{}: acc
38 case SCon{c, t}: rev(t, SCon{c, acc})