def configured_finish
bend-edit-distance@0.2.2.0 · src/Myers.bend:654
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
import bend-edit-distance@0.2.2.0/src/Alignment.bend as A
654def configured_finish(query: String, target: String, mode: E.Mode, task: E.Task,
655 threshold: E.Threshold, pairs: List<&2, E.EqualityPair>,
656 format: E.CigarFormat, +best: A.Best) -> E.AlignResult:
657 A.Best{score, _} = best
658 configured_result(query, target, mode, task, pairs, format, best,
659 E.within_threshold(threshold, U32.to_nat(score)))