Myers.semiglobal_carry: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Myers.bend as Myers
Lines 451-459 of bend-edit-distance@0.2.2.0/src/Myers.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&start_line=451&end_line=459

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

# Directional modes never swap query and target. The initial vertical scores
# are i in both modes, while the top horizontal difference is +1 for SHW and
# 0 for HW. NW's length/remaining-target band bounds do not apply here.
def semiglobal_carry(mode: E.Mode) -> Carry:
  match mode:
    case E.HW{}:
      Carry{0, 0}
    case _:
      Carry{1, 0}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=Mode
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Myers.bend&name=Carry