def moved

ezx@1.11.0.0 · src/ez/named.bend:174

import ezx@1.11.0.0/src/ez/named.bend as Named
import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

174# whether a `--rename` would record a source the ledger already names under a
175# second name. That is refused rather than duplicated or silently renamed.
176def moved(ds: List<&2, M.Dep>, +url: String, +rename: String) -> Bool:
177  moved.of(had(ds, url, ""), rename)

Uses (6)

Used by (1)