~/jendhub

def add.notes

ezx@1.11.0.0 · src/ws/relock.bend:323

import ezx@1.11.0.0/src/ws/relock.bend as Relock
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

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

Uses (8)

Used by (1)