def dp_initial

bend-edit-distance@0.2.2.0 · src/Reconstruction.bend:61

import bend-edit-distance@0.2.2.0/src/Reconstruction.bend as Reconstruction

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

61def dp_initial(target: String, +index: U32) -> List<&2, TraceCell>:
62  match target:
63    case SNil{}:
64      [TraceCell{index, E.Delete{}}]
65    case SCon{_, tail}:
66      TraceCell{index, E.Delete{}} <> dp_initial(tail, U32.add(index, 1))

Uses (6)

Used by (1)

bend-edit-distance@0.2.2.0/src/Reconstruction:dp