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

import Base

# 2^48-1 is the text 281474976710655. Past leading zeros, fewer than
# fifteen characters fit, more do not, and fifteen compare as text;
# Nat.read.go still refuses a non-digit. The gate is a def, not a
# Bool.pick: an argument is built before the call, and reading a string
# that does not fit would build a Nat past the bound. A law that reads
# "7" never builds the unary nat (each digit once divided it).
def Nat.read.trim(s: String) -> String:
  match s:
    case SCon{'0', t}:
      Nat.read.trim(t)
    case t:
      t

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil