Profile.valid_name: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/profile.bend as Profile
Lines 422-424 of cswap-bend-cli@0.1.0.0/profile.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&start_line=422&end_line=424

import Base

# Letters, digits, `-` and `_`, starting with a letter or digit.
def valid_name(+s: String) -> Bool:
  first_ok(s) && chars_ok(s)

Uses (5):
  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=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&name=chars_ok
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&name=first_ok