def tally.put
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
1006# one probe's standing added to the rest's
1007def tally.put(standing: Seen, one: Probe, sofar: Tally) -> Tally:
1008 match standing:
1009 case There{}:
1010 sofar
1011 case Unasked{}:
1012 tally.unasked(one, sofar)
1013 case Off{line}:
1014 tally.offhub(line, sofar)