Plan.step.led: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/fetch/plan.bend as Plan
Lines 874-879 of ezx@1.11.0.0/src/fetch/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&start_line=874&end_line=879

import Base
import ezx@1.11.0.0/src/fetch/world.bend as F
import ezx@1.11.0.0/src/lock/plan.bend as P

def step.led(led: Bool, got: Maybe<&2, String>, +world: F.World) -> Step:
  match led:
    case False{}:
      Run{P.Plan{[], P.Refused{need.no()}}}
    case True{}:
      step.lock(got, world)

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=Maybe
  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/fetch/plan.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=need.no
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=step.lock
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/world.bend&name=World
  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