Plan.lock.wrong: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/doctor/plan.bend as Plan
Lines 209-217 of ezx@1.11.0.0/src/doctor/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&start_line=209&end_line=217

import Base

# whether the lock is a problem: it names no package while the ledger has
# dependencies it should have resolved. A project with no dependencies has
# nothing to lock, so a lock naming nothing, or no lock at all, is its due.
def lock.wrong(deps: Nat, hs: List<&2, String>) -> Bool:
  match hs:
    case []:
      lock.needs(deps)
    case _h <> _t:
      False{}

Uses (5):
  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=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/doctor/plan.bend&name=lock.needs