def had

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

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

110# the name the ledger already gives this url, first in document order, or the
111# fresh one when it gives none. A re-add is then the same entry, whatever the
112# ledger called it.
113def had(ds: List<&2, M.Dep>, +url: String, fresh: String) -> String:
114  match ds:
115    case []:
116      fresh
117    case h <> t:
118      M.Dep{n, _h, _e, s} = h
119      had.at(from(s, url), n, had(t, url, fresh))