def Nat.read
import Base2342def Nat.read(s: String) -> Maybe<&2, Nat>:
2343 match s:
2344 case SNil{}:
2345 None{}
2346 case SCon{h, t}:
2347 +u = Nat.read.trim(SCon{h, t})
2348 Nat.read.gate(u, Nat.read.fits(u))
import Base2342def Nat.read(s: String) -> Maybe<&2, Nat>:
2343 match s:
2344 case SNil{}:
2345 None{}
2346 case SCon{h, t}:
2347 +u = Nat.read.trim(SCon{h, t})
2348 Nat.read.gate(u, Nat.read.fits(u))