def scan

ezx@1.11.0.0 · src/lock/plan.bend:1136

import Base
import ezx@1.11.0.0/src/lock/world.bend as W

1136# every reply, scanned
1137def scan(rs: List<&2, W.Reply>) -> List<&2, W.Judged>:
1138  match rs:
1139    case []:
1140      []
1141    case W.Reply{+ask, answer} <> t:
1142      W.Judged{W.ask.hash(ask), scan.one(W.ask.hash(ask), ask.hub(ask), answer)} <> scan(t)