Named.moved.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/named.bend as Named
Lines 168-172 of ezx@1.11.0.0/src/ez/named.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/named.bend&start_line=168&end_line=172

import Base

# whether a `--rename` gives a second name to a source the ledger already
# records as `old`, "" when it records none
def moved.of(+old: String, +rename: String) -> Bool:
  Bool.and(Bool.not(String.is_empty(rename)),
    Bool.and(Bool.not(String.is_empty(old)), Bool.not(String.eq(old, rename))))

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