Run.answer.hubhas: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/run.bend as Run
Lines 383-387 of ezx@1.11.0.0/src/lock/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/run.bend&start_line=383&end_line=387

import Base
import ezx@1.11.0.0/src/hub/hub.bend as Web
import ezx@1.11.0.0/src/hub/get.bend as Net
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/lock/up.bend as Up

# the hub's manifest for a hash a dependency moved to
def answer.hubhas(+hub: String, +hash: String) -> IO(Up.Answer):
  do IO<Up.Answer>:
    g : Web.Got <- Net.fetch(L.url_of(hub, hash, "manifest"), L.want(hash))
    return Up.HubSaid{g}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  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/hub/get.bend&name=fetch
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/hub/hub.bend&name=Got
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=url_of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=want
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Answer