Plan.fuel.verdict: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 235-243 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=235&end_line=243

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/lock.bend as L

# how many imports one verdict queues: a package's, or none
def fuel.verdict(verdict: W.Verdict, ns: List<&2, L.Name>) -> Nat:
  match verdict:
    case W.Ok{_fs, ss}:
      List.length(&2, String, L.kids.in(ns, ss))
    case W.No{_why}:
      0n
    case W.Named{_names}:
      0n

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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/lock/lock.bend&name=Name
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=kids.in
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Verdict