Git.hex.all: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/git/git.bend as Git
Lines 82-90 of ezx@1.13.0.0/src/git/git.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/git/git.bend&start_line=82&end_line=90

import Base

# whether every char of a ref is one. Base's `List.all` applies an erased
# function parameter, which falls outside the termination check; this walk is
# structural.
def hex.all(cs: List<&2, Char>) -> Bool:
  match cs:
    case []:
      True{}
    case +h <> t:
      hex.all.step(hex.at(h), _u => hex.all(t))

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=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/git/git.bend&name=hex.all.step
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/git/git.bend&name=hex.at