~/jendhub

def notes

ezx@1.11.0.0 · src/add/relock.bend:141

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

141# the note on a World
142def notes(+world: World) -> List<&2, P.Effect>:
143  notes.of(held(P.packs(lock.world(world)), added(add(world))), added(add(world)))

Uses (9)

Used by (1)