def semiglobal_result.accept

bend-edit-distance@0.2.2.0 · src/DistanceDP.bend:146

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

146def semiglobal_result.accept(score: U32, ends: List<&2, E.Coordinate>, accepted: Bool) -> E.AlignResult:
147  match accepted:
148    case True{}:
149      E.AlignResult{E.Ok{}, E.Found{U32.to_nat(score)}, List.reverse(&2, E.Coordinate, ends), None{}, None{}, None{}}
150    case False{}:
151      E.not_found()