def adopt.pick

cswap-bend-cli@0.1.0.0 · usage/gate.bend:69

import Base

69# The world moved past the caller's snapshot and the current generation is
70# fresh: the refresh the caller wanted has happened.
71def adopt.pick(+cur: Maybe<&2, String>, +snap: Maybe<&2, String>, +ex: Bool) -> Bool:
72  match cur snap:
73    case Some{a} Some{b}:
74      Bool.not(String.eq(a, b)) && Bool.not(ex)
75    case _ _:
76      False{}