def seen.miss

ezx@1.11.0.0 · src/pub/plan.bend:918

import Base

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