def osa.cell
import shake@0.7.0.0/src/cli.bend as Cliimport Base
2276# one cell: the cheapest of a deletion, an insertion, a substitution and a
2277# swap of two adjacent chars
2278def osa.cell(
2279 swap: Bool,
2280 +up: Nat,
2281 +left: Nat,
2282 +diag: Nat,
2283 +cost: Nat,
2284 +far: Nat
2285) -> Nat:
2286 osa.cell.swap(swap, Nat.min(Nat.min(1n+up, 1n+left), Nat.add(diag, cost)), far)