Cli.osa.cell.swap: def of shake@0.7.0.0 Import: import shake@0.7.0.0/src/cli.bend as Cli Lines 2272-2274 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=2272&end_line=2274 import Base # the cheaper of a cell and a swap from two rows up and two cells left def osa.cell.swap(swap: Bool, +best: Nat, +far: Nat) -> Nat: Bool.pick(Nat, swap, Nat.min(best, 1n+far), best) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.min