Plan.lock.needs: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/doctor/plan.bend as Plan
Lines 201-207 of ezx@1.13.0.0/src/doctor/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&start_line=201&end_line=207

import Base

# whether a ledger with this many dependencies needs a lock that names some
def lock.needs(deps: Nat) -> Bool:
  match deps:
    case 0n:
      False{}
    case 1n+_n:
      True{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat