Relock.add.notes: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock
Lines 323-325 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=323&end_line=325

import Base
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/add/relock.bend as AR

# the note (EZ-DOC-7), over the root's lock
def add.notes(+lk: Lock, +aw: A.World) -> List<&2, LP.Effect>:
  AR.notes.of(AR.held(lock.packs(lk), AR.added(aw)), AR.added(aw))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=added
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=held
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/relock.bend&name=notes.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=World
  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/ws/relock.bend&name=Lock
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=lock.packs