Str.text.digits.by: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/str.bend as Str
Lines 479-488 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=479&end_line=488

import Base

# the longer text is the greater; texts of one length compare code point
# by code point
def text.digits.by(chr: Cmp, +lhs: String, +rhs: String) -> Cmp:
  match chr:
    case LT{}:
      LT{}
    case EQ{}:
      String.order(lhs, rhs)
    case GT{}:
      GT{}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=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.order