~/jendhub

def plan.plain

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

import ezx@1.11.0.0/src/ws/up.bend as Up
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

365# a plain lock's plan, once it is known whether a line is stale
366def plan.plain(fine: Bool, +why: String, +world: LW.World) -> LP.Plan:
367  match fine:
368    case True{}:
369      LP.plan(world)
370    case False{}:
371      refused(why)

Uses (6)

Used by (1)