~/jendhub

def rows

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

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

54def rows(sequence: String, +columns: String, previous: List<U32>,
55         +index: U32, +pairs: List<&2, E.EqualityPair>) -> Nat:
56  match sequence:
57    case SNil{}:
58      last_cell(previous)
59    case SCon{h, t}:
60      rows(t, columns, next_row(previous, columns, h, index, pairs), U32.add(index, 1), pairs)

Uses (8)

Used by (1)