Git.among: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/git/git.bend as Git
Lines 58-66 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=58&end_line=66

import Base

# whether a char is one of these. Base has `Char.is_digit` and `Char.is_alpha`
# and nothing between, and a commit name is written with neither alphabet but
# with sixteen characters of its own, so the sixteen are named.
def among(+ch: Char, cs: List<&2, Char>) -> Bool:
  match cs:
    case []:
      False{}
    case +h <> t:
      among.step(Char.is_eq(h, ch), _u => among(ch, 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=Char.is_eq
  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=among.step