def distance_result

bend-edit-distance@0.2.2.0 · EdlibTypes.bend:212

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

import Base

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

Uses (9)

Used by (2)