Reconstruction.midpoint: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Reconstruction.bend as Reconstruction
Lines 162-171 of bend-edit-distance@0.2.2.0/src/Reconstruction.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&start_line=162&end_line=171

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

def midpoint(left: String, right: String, +target: String,
               +pairs: List<&2, E.EqualityPair>) -> Nat:
  # Prepare recursive arguments before the fork. Passing String.reverse(...)
  # inside its second call drains the frontier in the pinned native runtime.
  reverse_query = String.reverse(right)
  reverse_target = String.reverse(target)
  forward backward =
    score_row(left, target, pairs)
    score_row(reverse_query, reverse_target, pairs)
  split_column(forward, List.reverse(&1, U32, backward), 0n, 0n, 4294967295)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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
  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/src/Reconstruction.bend&name=score_row
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&name=split_column