def landed_away

cswap-bend-cli@0.1.0.0 · policy/bar.bend:124

import Base

124# Only while the engine still stands where its switch put it.
125def landed_away(+lt: Maybe<&2, Nat>, +current: Nat) -> Bool:
126  match lt:
127    case None{}:
128      False{}
129    case Some{x}:
130      Bool.not(Nat.is_eq(x, current))