def distance_shorter

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

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

62def distance_shorter(query: String, target: String, query_length: Nat,
63                     target_length: Nat, query_is_shorter: Bool,
64                     pairs: List<&2, E.EqualityPair>) -> Nat:
65  match query_is_shorter:
66    case True{}:
67      rows(target, query, initial_row(query_length, 0), 1, pairs)
68    case False{}:
69      rows(query, target, initial_row(target_length, 0), 1, pairs)