def known.go
import ezx@1.11.0.0/src/ledger/upgrade.bend as Upgradeimport Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
59# `--package` with no such dependency is a mistake, and no filter is not
60def known.go(all: Bool, ds: List<&2, M.Dep>, +name: String) -> Bool:
61 match all:
62 case True{}:
63 True{}
64 case False{}:
65 known.in(ds, name)