Git.ord.id: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/git/git.bend as Git
Lines 419-428 of ezx@1.11.0.0/src/git/git.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/git/git.bend&start_line=419&end_line=428

import Base

def ord.id(left: Id, right: Id) -> Ord:
  match left right:
    case IdNum{+n} IdNum{+m}:
      ord.nat(Nat.is_eq(n, m), Nat.is_lt(n, m))
    case IdNum{_n} IdWord{_s}:
      Lt{}
    case IdWord{_s} IdNum{_n}:
      Gt{}
    case IdWord{+s} IdWord{+t}:
      ord.str(String.eq(s, t), String.is_le(s, t))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_le
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=Id
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=Ord
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=ord.nat
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=ord.str