Plan.dep.is.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pub/plan.bend as Plan
Lines 860-868 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=860&end_line=868

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

# whether the ledger's dependency is the one a probe is about: the same hash,
# or for a name, the same `<name>@<version>` or the hash it resolved to
def dep.is.go(one: Probe, +hash: String, src: M.Source) -> Bool:
  match one:
    case ProbeHash{ph}:
      String.eq(hash, ph)
    case ProbeName{nv, +ph}:
      Bool.or(String.eq(M.source.nv(src), nv),
        Bool.and(Bool.not(String.is_empty(ph)), String.eq(hash, ph)))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=source.nv
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=Probe