Plan.plan.notes: def of ezx@1.13.0.0 Import: import ezx@1.13.0.0/src/doctor/plan.bend as Plan Lines 866-869 of ezx@1.13.0.0/src/doctor/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&start_line=866&end_line=869 import Base import ezx@1.13.0.0/src/lock/plan.bend as P # the plan for these notes: every line said, and the command failed when one # of them is a problem def plan.notes(+ns: List<&2, Note>) -> P.Plan: P.Plan{says(ns), outcome.of(wrong(ns))} Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&name=Note https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&name=outcome.of https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&name=says https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&name=wrong https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/plan.bend&name=Plan