def known.in

ezx@1.11.0.0 · src/ledger/upgrade.bend:51

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

51# whether the ledger names this dependency
52def known.in(ds: List<&2, M.Dep>, +name: String) -> Bool:
53  match ds:
54    case []:
55      False{}
56    case +h <> t:
57      known.step(String.eq(M.dep.name(h), name), _u => known.in(t, name))