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

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

def reconstruct_order(query: String, target: String, +query_length: Nat,
                        +target_length: Nat, pairs: List<&2, E.EqualityPair>,
                        small: Bool, query_is_taller: Bool) -> List<&2, E.Operation>:
  match small query_is_taller:
    case True{} _:
      dp(query, target, pairs)
    case False{} True{}:
      divide(query_length, query, target, query_length, target_length, pairs, False{})
    case False{} False{}:
      transpose(divide(target_length, target, query, target_length, query_length, pairs, False{}))

Uses (9):
  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=Nat
  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=divide
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&name=dp
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&name=transpose