def step.plain

ezx@1.11.0.0 · src/ws/up.bend:403

import Base
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/lock/plan.bend as LP

403# the step a plain lock takes, once it is known whether a line is stale
404def step.plain(fine: Bool, +why: String, +world: LW.World) -> LP.Step:
405  match fine:
406    case True{}:
407      LP.step(world)
408    case False{}:
409      LP.Run{refused(why)}