Nat.read.go: law of Base
Import: import Base
Lines 2297-2300 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=2297&end_line=2300

import Base

law Nat.read.go:
  for s   : String
  for +acc : Nat
  Maybe<&2, Nat>

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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.if
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub