def pair_matches

bend-edit-distance@0.2.2.0 · EdlibTypes.bend:65

import Base

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