def midpoint

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

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

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