Hub.matches: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/hub/hub.bend as Hub
Lines 28-30 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=28&end_line=30

import Base
import ezx@1.11.0.0/src/share/sha.bend as Sha

# a body is the one that was asked for when its digest starts with the hash
def matches(want: String, +body: String) -> Bool:
  String.starts_with(Sha.hex(body), want)

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.starts_with
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/sha.bend&name=hex