EdlibTypes.pair_matches: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/EdlibTypes.bend as EdlibTypes
Lines 65-71 of bend-edit-distance@0.2.2.0/EdlibTypes.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&start_line=65&end_line=71

import Base

# Literal equality plus explicitly configured symmetric pairs. Scanning the
# pairs never follows a chain, so shared endpoints do not imply transitivity.
def pair_matches(pair: EqualityPair, +a: Char, +b: Char) -> Bool:
  match pair:
    case EqualityPair{+first, +second}:
      Bool.or(Bool.and(Char.is_eq(a, first), Char.is_eq(b, second)),
        Bool.and(Char.is_eq(a, second), Char.is_eq(b, first)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  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=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=EqualityPair