Fmt.Big.cmp: def of bend-kit-fmt@0.1.0.0
Import: import bend-kit-fmt@0.1.0.0/fmt.bend as Fmt
Lines 168-173 of bend-kit-fmt@0.1.0.0/fmt.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&start_line=168&end_line=173

import Base

def Big.cmp(a: List<&2, U32>, b: List<&2, U32>) -> Cmp:
  match a b:
    case Con{x, xs} Con{y, ys}:
      Big.cmp.then(Big.cmp(xs, ys), U32.cmp(x, y))
    case _ _:
      EQ{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.cmp
  https://jend.leeeet.dev/definition.txt?path=bend-kit-fmt@0.1.0.0/fmt.bend&name=Big.cmp.then