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

import Base

def ord.pad(xs: List<&2, Nat>) -> Ord:
  match xs:
    case Nil{}:
      Eq{}
    case Con{+h, t}:
      ord.pad.at(Nat.is_eq(h, 0n), _u => ord.pad(t))

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