Openapi.name.ok: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/openapi.bend as Openapi
Lines 596-602 of ezmcp@0.1.0.0/src/openapi.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/openapi.bend&start_line=596&end_line=602

import Base

# whether a character may stand in a tool name: an ASCII letter or digit,
# `_` or `-`
def name.ok(+cp: U32) -> Bool:
  Bool.or(Bool.and(U32.is_le(65, cp), U32.is_le(cp, 90)),
    Bool.or(Bool.and(U32.is_le(97, cp), U32.is_le(cp, 122)),
      Bool.or(Bool.and(U32.is_le(48, cp), U32.is_le(cp, 57)),
        Bool.or(U32.is_eq(cp, 95), U32.is_eq(cp, 45)))))

Uses (6):
  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=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le