Reconstruction.dp_row_cells: def of bend-edit-distance@0.2.2.0
Import: import bend-edit-distance@0.2.2.0/src/Reconstruction.bend as Reconstruction
Lines 39-49 of bend-edit-distance@0.2.2.0/src/Reconstruction.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&start_line=39&end_line=49

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

def dp_row_cells(columns: String, previous: List<&2, TraceCell>, diagonal: U32,
                 left: U32, +symbol: Char, +pairs: List<&2, E.EqualityPair>) ->
                 List<&2, TraceCell>:
  match columns previous:
    case SNil{} _:
      Nil{}
    case SCon{_, _} Nil{}:
      Nil{}
    case SCon{h, t} TraceCell{+above, _} <> rest:
      +next = dp_cell(above, left, diagonal, E.equal(pairs, symbol, h))
      next <> dp_row_cells(t, rest, above, cell_score(next), symbol, pairs)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=EqualityPair
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/EdlibTypes.bend&name=equal
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&name=TraceCell
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&name=cell_score
  https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Reconstruction.bend&name=dp_cell