def String.length
import Base2029def String.length(s: String) -> Nat:
2030 match s:
2031 case SNil{}:
2032 0n
2033 case SCon{h, t}:
2034 1n+String.length(t)
import Base2029def String.length(s: String) -> Nat:
2030 match s:
2031 case SNil{}:
2032 0n
2033 case SCon{h, t}:
2034 1n+String.length(t)