def step.led

ezx@1.11.0.0 · src/fetch/plan.bend:874

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

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