def reconstruct_order

bend-edit-distance@0.2.2.0 · src/Reconstruction.bend:215

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

215def reconstruct_order(query: String, target: String, +query_length: Nat,
216                        +target_length: Nat, pairs: List<&2, E.EqualityPair>,
217                        small: Bool, query_is_taller: Bool) -> List<&2, E.Operation>:
218  match small query_is_taller:
219    case True{} _:
220      dp(query, target, pairs)
221    case False{} True{}:
222      divide(query_length, query, target, query_length, target_length, pairs, False{})
223    case False{} False{}:
224      transpose(divide(target_length, target, query, target_length, query_length, pairs, False{}))