Key.checkout: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ez/key.bend as Key
Lines 53-56 of ezx@1.13.0.0/src/ez/key.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/ez/key.bend&start_line=53&end_line=56

import Base

# the checkout is this commit, and there is a commit at all. The checkout's
# record is the commit alone: the file and the bend are the binary's business.
def checkout(+was: String, +now: String) -> Bool:
  Bool.and(Bool.not(String.is_empty(now)), String.eq(was, now))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty