def decided

ezx@1.11.0.0 · src/add/plan.bend:323

import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/ez/named.bend as Named

323# whether the ledger alone decides the name: a `--rename` was given, or the
324# ledger already records this source
325def decided(+world: A.World) -> Bool:
326  Bool.or(Bool.not(String.is_empty(A.rename(world))),
327    Bool.not(String.is_empty(Named.had(A.deps(world), A.url(world), ""))))