def fresh.notes
import ezx@1.11.0.0/src/doctor/plan.bend as Planimport Base
import ezx@1.11.0.0/src/doctor/world.bend as DW
712# the check over a lock that is there. With no lock there is nothing to
713# compare, and the lock's own line says whether that is a problem.
714def fresh.notes(lock: Maybe<&2, String>, +world: DW.World) -> List<&2, Note>:
715 match lock:
716 case None{}:
717 []
718 case Some{text}:
719 fresh.heard(DW.sources(world), world, text)