Plan.decide.lock: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/plan.bend as Plan
Lines 1124-1135 of ezx@1.11.0.0/src/pub/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pub/plan.bend&start_line=1124&end_line=1135

import Base
import ezx@1.11.0.0/src/pub/world.bend as PW

# the lock, read first when the package imports a package by name, since it
# holds the hash the name was resolved to
def decide.lock(need: Bool, got: PW.Heard, +world: PW.World) -> Verdict:
  match need:
    case False{}:
      decide.hub(hubbed(world), world)
    case True{}:
      match got:
        case PW.Open{}:
          Pending{[PW.Lock{}]}
        case PW.Heard{_a}:
          decide.hub(hubbed(world), world)

Uses (8):
  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=ezx@1.11.0.0/src/pub/plan.bend&name=Verdict
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=decide.hub
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=hubbed
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=Heard
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=World