def search_shorter
bend-edit-distance@0.2.2.0 · src/Myers.bend:440
import bend-edit-distance@0.2.2.0/src/Myers.bend as Myers
import Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E
440def search_shorter(query: String, target: String, +query_length: Nat,
441 +target_length: Nat, +threshold: E.Threshold,
442 query_is_shorter: Bool, pairs: List<&2, E.EqualityPair>) -> Search:
443 match query_is_shorter:
444 case True{}:
445 search_query(query, target, query_length, target_length, threshold, pairs,
446 Bool.not(E.within_threshold(threshold, Nat.sub(target_length, query_length))))
447 case False{}:
448 search_query(target, query, target_length, query_length, threshold, pairs,
449 Bool.not(E.within_threshold(threshold, Nat.sub(query_length, target_length))))