type Search

bend-edit-distance@0.2.2.0 · src/Myers.bend:168

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

168# Work counts actual calculate_block calls, consumed columns and fresh attempts.
169# The probe uses these production counters to verify pruning and retry behavior.
170type Search is Data:
171  Search{distance: E.EditDistance, blocks: Nat, columns: Nat, attempts: Nat}