Myers.configured_found: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Myers.bend as Myers
Lines 629-643 of bend-edit-distance@0.2.2.0/src/Myers.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&start_line=629&end_line=643

import Base
import bend-edit-distance@0.2.2.0/src/Sequence.bend as S
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

def configured_found(task: E.Task, mode: E.Mode, +query: String, +target: String,
                        +pairs: List<&2, E.EqualityPair>, format: E.CigarFormat,
                        best: A.Best) -> E.AlignResult:
  match task mode best:
    case E.Distance{} _ _:
      A.result(query, target, task, pairs, format, best, True{})
    case _ E.HW{} A.Best{+score, +locations}:
      +qn +tn = S.length(query) S.length(target)
      rq rt = String.reverse(query) String.reverse(target)
      resolved = hw_locations(List.length(&2, A.Location, locations), locations,
        rt, tn, build_peq(ceil_div(qn, 32n), rq, pairs), qn, U32.to_nat(score))
      A.result(query, target, task, pairs, format, A.Best{score, resolved}, True{})
    case _ _ _:
      # NW/SHW always start at zero; only PATH needs reconstruction.
      A.result(query, target, task, pairs, format, best, True{})

Uses (18):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=AlignResult
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=CigarFormat
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=EqualityPair
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=Mode
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=Task
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Alignment.bend&name=Best
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Alignment.bend&name=Location
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Alignment.bend&name=result
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=build_peq
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=ceil_div
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=hw_locations
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Sequence.bend&name=length