def join

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

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

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