def lib.note
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
import ezx@1.11.0.0/src/lock/lock.bend as L
383# the library's line
384def lib.note(+dir: String, +want: List<&2, String>, +ns: List<&2, L.Name>, +rs: List<&2, DW.Reply>) -> Note:
385 lib.judge(dir, want, ns, lib.have(DW.heard(rs, DW.Lib{dir})), rs)