def verdict.laws
bend-lint-pack@0.1.1.0 · dead/def.bend:164
import bend-lint-pack@0.1.1.0/dead/def.bend as Def
import 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
164def verdict.laws(
165 +laws: Set(),
166 entries: String,
167 +seen: List<&2, Common.Seen>,
168 scope: Common.Scope,
169 nodes: Set(),
170 edges: Map<&2, List<&2, String>>,
171 into: Map<&2, List<&2, String>>
172) -> List<&2, Lint.Diag>:
173 verdict.roots(
174 roots(seen, laws, Common.Entry.parse(entries), []),
175 Common.scoped(scope, seen),
176 nodes,
177 edges,
178 into
179 )