Plan.judge.got: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/fetch/plan.bend as Plan Lines 676-682 of ezx@1.11.0.0/src/fetch/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&start_line=676&end_line=682 import Base import ezx@1.11.0.0/src/lock/world.bend as W import ezx@1.11.0.0/src/pkg/pkg.bend as K # the files that arrived, laid when they pass def judge.got(ok: Bool, fs: List<&2, K.Item>, +hash: String, +ls: List<&2, W.Source>) -> Verdict: match ok: case True{}: Put{hash, ls} case False{}: Stop{bad.why(fs, hash, ls)} Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=Verdict https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=bad.why https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Source https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Item