Cli.osa.cell: def of shake@0.7.0.0
Import: import shake@0.7.0.0/src/cli.bend as Cli
Lines 2276-2286 of shake@0.7.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/cli.bend&start_line=2276&end_line=2286

import Base

# one cell: the cheapest of a deletion, an insertion, a substitution and a
# swap of two adjacent chars
def osa.cell(
  swap: Bool,
  +up: Nat,
  +left: Nat,
  +diag: Nat,
  +cost: Nat,
  +far: Nat
) -> Nat:
  osa.cell.swap(swap, Nat.min(Nat.min(1n+up, 1n+left), Nat.add(diag, cost)), far)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.min
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=osa.cell.swap