Reconstruction.reconstruct: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Reconstruction.bend as Reconstruction
Lines 226-229 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=226&end_line=229

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

def reconstruct(+query: String, +target: String, pairs: List<&2, E.EqualityPair>) ->
                  List<&2, E.Operation>:
  +qn +tn = S.length(query) S.length(target)
  reconstruct_order(query, target, qn, tn, pairs, small_matrix(qn, tn), Nat.is_ge(qn, tn))

Uses (8):
  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_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=Operation
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&name=reconstruct_order
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&name=small_matrix
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Sequence.bend&name=length