def verdict
import bend-lint-pack@0.1.1.0/graph/fan_out.bend as FanOutimport 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
50def verdict(p: Common.Prog, max: U32, scope: Common.Scope) -> List<&2, Lint.Diag>:
51 match p:
52 case Common.Prog{seen, edges, into, nodes, laws}:
53 judge(Common.scoped(scope, seen), max, nodes, edges, [])