def final_row

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

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

102def final_row(query: String, +target: String, previous: List<U32>,
103              +index: U32, +pairs: List<&2, E.EqualityPair>) -> List<U32>:
104  match query:
105    case SNil{}:
106      previous
107    case SCon{h, t}:
108      final_row(t, target, next_row(previous, target, h, index, pairs), U32.add(index, 1), pairs)