Pkg.name.part: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg
Lines 360-365 of ezx@1.11.0.0/src/pkg/pkg.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&start_line=360&end_line=365

import Base

# a hub name: a letter, then a-z, 0-9 and -, 1 to 64 characters in all, as
# bend's NAMED rule reads it. Which names a Bender may take is the hub's.
def name.part(+text: String) -> Bool:
  +n = String.length(text)
  Bool.and(Bool.and(Nat.is_ge(n, 1n), Nat.is_le(n, 64n)),
    Bool.and(name.first(text), name.chars(text)))

Uses (8):
  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=Nat.is_ge
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=name.chars
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=name.first