def verdict
import bend-lint-pack@0.1.1.0/dead/def.bend as Defimport Base
import bend-lint-pack@0.1.1.0/vendor/lint.bend as Lint
import bend-lint-pack@0.1.1.0/common.bend as Common
181def verdict(p: Common.Prog, entries: String, scope: Common.Scope) -> List<&2, Lint.Diag>:
182 match p:
183 case Common.Prog{seen, edges, into, nodes, laws}:
184 verdict.laws(laws, entries, seen, scope, nodes, edges, into)