def probes

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

import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW

129# every program's line
130def probes(ns: List<&2, String>, +rs: List<&2, DW.Reply>) -> List<&2, Note>:
131  match ns:
132    case []:
133      []
134    case +h <> t:
135      probe.heard(DW.heard(rs, DW.Probe{h}), h) <> probes(t, rs)