~/jendhub

def name_chars_ok

near-v-framework@0.4.0.0 · domain/architecture/system/release/ops.bend:149

import near-v-framework@0.4.0.0/domain/architecture/system/release/ops.bend as Ops
import Base

149def name_chars_ok(cs: List<&2, Char>, first: Bool) -> Bool:
150  match cs:
151    case []:
152      Bool.not(first)
153    case +c <> rest:
154      name_char(c, first) && name_chars_ok(rest, False{})

Uses (6)

Used by (1)