Relock.join.edit: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/relock/relock.bend as Relock Lines 64-69 of ezx@1.11.0.0/src/relock/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/relock/relock.bend&start_line=64&end_line=69 import Base import ezx@1.11.0.0/src/lock/plan.bend as P def join.edit(refused: Bool, +edit: P.Plan, lock: P.Plan, notes: List<&2, P.Effect>, +tail: String) -> P.Plan: match refused: case True{}: P.Plan{[], P.Refused{P.why(outcome(edit))}} case False{}: join.lock(lock, edit, notes, tail) Uses (9): 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=String https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Effect 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 https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=why https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/relock/relock.bend&name=join.lock https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/relock/relock.bend&name=outcome