Named.clash: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ez/named.bend as Named Lines 139-147 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=139&end_line=147 import Base import ezx@1.11.0.0/src/ledger/manifest.bend as M # whether the ledger gives this name to a source other than this url. A hub # dependency of the name is another source too. def clash(ds: List<&2, M.Dep>, +name: String, +url: String) -> Bool: match ds: case []: False{} case h <> t: M.Dep{n, _h, _e, s} = h clash.at(String.eq(n, name), s, url, clash(t, name, url)) 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=List 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=ezx@1.11.0.0/src/ez/named.bend&name=clash.at https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Dep