def seen.named.go
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
945# a name the hub resolved: the package is there when the hub names a `0x`
946# name by it, and the one the lock resolved it to when the lock resolved it
947def seen.named.go(good: Bool, +got: String, +want: String, +who: String) -> Seen:
948 match good:
949 case True{}:
950 There{}
951 case False{}:
952 Off{why.named(got, want, who)}