Plan.seen.named.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/plan.bend as Plan
Lines 945-952 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=945&end_line=952

import Base

# a name the hub resolved: the package is there when the hub names a `0x`
# name by it, and the one the lock resolved it to when the lock resolved it
def seen.named.go(good: Bool, +got: String, +want: String, +who: String) -> Seen:
  match good:
    case True{}:
      There{}
    case False{}:
      Off{why.named(got, want, who)}

Uses (4):
  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.named