Git.ord.ids: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/git/git.bend as Git
Lines 430-439 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=430&end_line=439

import Base

def ord.ids(left: List<&2, Id>, right: List<&2, Id>) -> Ord:
  match left right:
    case Nil{} Nil{}:
      Eq{}
    case Nil{} Con{_h, _t}:
      Lt{}
    case Con{_h, _t} Nil{}:
      Gt{}
    case Con{ha, ta} Con{hb, tb}:
      ord.nums.at(ord.id(ha, hb), _u => ord.ids(ta, tb))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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.id
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/git/git.bend&name=ord.nums.at