Alignment.span: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Alignment.bend as Alignment
Lines 42-47 of bend-edit-distance@0.2.2.0/src/Alignment.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/src/Alignment.bend&start_line=42&end_line=47

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

def span(target: String, location: Location) -> String:
  match location:
    case Location{E.BeforeStart{}, _}:
      ""
    case Location{E.Position{index}, start}:
      String.drop(String.take(target, 1n+index), start)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.take
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=Coordinate
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Alignment.bend&name=Location