def join.edit

ezx@1.11.0.0 · src/relock/relock.bend:64

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

64def join.edit(refused: Bool, +edit: P.Plan, lock: P.Plan, notes: List<&2, P.Effect>, +tail: String) -> P.Plan:
65  match refused:
66    case True{}:
67      P.Plan{[], P.Refused{P.why(outcome(edit))}}
68    case False{}:
69      join.lock(lock, edit, notes, tail)