def split_update

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

import Base

138def split_update(index: Nat, score: U32, old_index: Nat, old_score: U32,
139                  better: Bool) -> Split:
140  match better:
141    case True{}:
142      Split{index, score}
143    case False{}:
144      Split{old_index, old_score}