Plan.seen.miss: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/plan.bend as Plan
Lines 918-926 of ezx@1.11.0.0/src/pub/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pub/plan.bend&start_line=918&end_line=926

import Base

# a GET that did not come back 200: the hub does not have it, or it could not
# be asked. Neither is the hub having it, so both refuse, and nothing is sent
# on a guess.
def seen.miss(gone: Bool, +text: String, +who: String) -> Seen:
  match gone:
    case True{}:
      Off{why.absent(who)}
    case False{}:
      Off{why.unasked(who, text)}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=Seen
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=why.absent
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=why.unasked