Plan.plan.has: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/remove/plan.bend as Plan
Lines 150-157 of ezx@1.11.0.0/src/remove/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/remove/plan.bend&start_line=150&end_line=157

import Base
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/ledger/manifest.bend as M

# the plan for a ledger that read: the edits when it names the dependency and
# the ledger left can be written, a refusal when not
def plan.has(has: Bool, +led: M.Manifest, +name: String, +ignore: String) -> P.Plan:
  match has:
    case True{}:
      P.Plan{edits(led, name, ignore), P.Success{}}
    case False{}:
      P.Plan{[], P.Refused{refusal(named(deps.of(led), name), name)}}

Uses (10):
  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/ledger/manifest.bend&name=Manifest
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=deps.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=edits
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=named
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=refusal