EmergingEztoml.i64.step: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 1686-1697 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=1686&end_line=1697

import Base

# a shorter digit string fits and a longer one does not. equal length uses
# digit order. the walk does not rebuild either string
def i64.step(+digits: String, +limit: String, ord: Cmp) -> Bool:
  match digits limit:
    case SNil{} SNil{}:
      Cmp.is_le(ord)
    case SNil{} SCon{_h, _t}:
      True{}
    case SCon{_h, _t} SNil{}:
      False{}
    case SCon{x, xt} SCon{y, yt}:
      i64.step(xt, yt, i64.ord(ord, U32.cmp(Char.to_u32(x), Char.to_u32(y))))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.to_u32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.cmp
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=i64.ord