Relock.join: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/relock/relock.bend as Relock
Lines 71-74 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=71&end_line=74

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

# an edit followed by the lock over what it leaves. An edit that refuses is
# the plan, with no effect; one that succeeds is joined to the lock.
def join(+edit: P.Plan, lock: P.Plan, notes: List<&2, P.Effect>, +tail: String) -> P.Plan:
  join.edit(refuses(edit), edit, lock, notes, tail)

Uses (6):
  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=Plan
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/relock/relock.bend&name=join.edit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/relock/relock.bend&name=refuses