Nat.read: def of Base
Import: import Base
Lines 2342-2348 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=2342&end_line=2348

import Base

def Nat.read(s: String) -> Maybe<&2, Nat>:
  match s:
    case SNil{}:
      None{}
    case SCon{h, t}:
      +u = Nat.read.trim(SCon{h, t})
      Nat.read.gate(u, Nat.read.fits(u))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.read.fits
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.read.gate
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.read.trim
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String