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

import Base

def ord.rel.at(ae: Bool, be: Bool, left: List<&2, Id>, right: List<&2, Id>) -> Ord:
  match ae be:
    case True{} True{}:
      Eq{}
    case True{} False{}:
      Gt{}
    case False{} True{}:
      Lt{}
    case False{} False{}:
      ord.ids(left, right)

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