Str.text.digits.cmp: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/str.bend as Str
Lines 490-495 of ezsys@0.1.0.0/src/str.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/str.bend&start_line=490&end_line=495

import Base

# two digit strings in numeric order: leading zeros dropped, then the
# longer is the greater, and two of one length compare digit by digit
def text.digits.cmp(lhs: String, rhs: String) -> Cmp:
  +x = text.digits.trim(lhs)
  +y = text.digits.trim(rhs)
  text.digits.by(Nat.cmp(String.length(x), String.length(y)), x, y)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.cmp
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.digits.by
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.digits.trim