EdlibTypes.distance_result: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/EdlibTypes.bend as EdlibTypes
Lines 212-217 of bend-edit-distance@0.2.2.0/EdlibTypes.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&start_line=212&end_line=217

import Base

def distance_result(distance: Nat, end: Coordinate, accepted: Bool) -> AlignResult:
  match accepted:
    case True{}:
      AlignResult{Ok{}, Found{distance}, [end], None{}, None{}, None{}}
    case False{}:
      not_found()

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=AlignResult
  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/EdlibTypes.bend&name=EditDistance
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=Status
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=not_found