Hub.judge.hash: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/hub/hub.bend as Hub
Lines 38-44 of ezx@1.11.0.0/src/hub/hub.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/hub/hub.bend&start_line=38&end_line=44

import Base

# the digest's verdict on a body that did arrive
def judge.hash(good: Bool, url: String, body: String) -> Got:
  match good:
    case True{}:
      Have{body}
    case False{}:
      Miss{url ++ " does not hash to what was asked for"}

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=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/hub/hub.bend&name=Got