Relock.edit.at: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock
Lines 158-167 of ezx@1.11.0.0/src/ws/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/relock.bend&start_line=158&end_line=167

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

# the command's own plan, run at the path `rel` from the root, whose ledger
# is `old`: at the root, with the root's ledger keeping its table, and in a
# member as it is
def edit.at(rel: List<&2, String>, +old: String, pl: LP.Plan) -> LP.Plan:
  match rel:
    case []:
      LP.Plan{es, outcome} = pl
      LP.Plan{keep.effects(old, es), outcome}
    case _hd <> _tl:
      pl

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