def lib.judge

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

import 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

370# the verdict, once what is wanted and what is there are both known
371def lib.judge(
372  +dir: String,
373  +want: List<&2, String>,
374  +ns: List<&2, L.Name>,
375  have: List<&2, String>,
376  +rs: List<&2, DW.Reply>
377) -> Note:
378  +gone = missing(want, have)
379  +bad = names.wrong(ns, rs)
380  lib.said(Bool.and(List.is_empty(&2, String, gone), List.is_empty(&2, String, bad)), dir,
381    List.length(&2, String, want), List.length(&2, L.Name, ns), gone, bad)