def fresh.notes

ezx@1.11.0.0 · src/doctor/plan.bend:712

import ezx@1.11.0.0/src/doctor/plan.bend as Plan
import 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)

Uses (7)

Used by (1)