DistanceDP.semiglobal: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/DistanceDP.bend as DistanceDP
Lines 139-144 of bend-edit-distance@0.2.2.0/src/DistanceDP.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/src/DistanceDP.bend&start_line=139&end_line=144

import Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E

def semiglobal(+query: String, +target: String, mode: E.Mode,
               pairs: List<&2, E.EqualityPair>) -> Best:
  # Pinned Edlib omits column zero when its final 64-bit word has no padding.
  qn tn = String.length(query) String.length(target)
  semiglobal_endpoints(final_row(query, target,
    initial_semiglobal_row(tn, 0, mode), 1, pairs), Nat.is_ne(Nat.mod(qn, 64n), 0n))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_ne
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mod
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  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/src/DistanceDP.bend&name=Best
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/DistanceDP.bend&name=final_row
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/DistanceDP.bend&name=initial_semiglobal_row
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/DistanceDP.bend&name=semiglobal_endpoints