Common.Entry.hit: def of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/common.bend as Common
Lines 283-292 of bend-lint-pack@0.1.1.0/common.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-pack@0.1.1.0/common.bend&start_line=283&end_line=292

import Base

# Entry lists: `a, b, prefix*`
# ============================
# Whether the entry `e` names `name`: the same, or, if it ends in `*`, a prefix of it.
def Entry.hit(+e: String, +name: String) -> Bool:
  Bool.pick(
    Bool,
    String.ends_with(e, "*"),
    String.starts_with(name, String.take(e, Nat.sub(String.length(e), 1n))),
    String.eq(e, name)
  )

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.ends_with
  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.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.starts_with
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.take