Named.bare.rest: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/named.bend as Named
Lines 75-81 of ezx@1.11.0.0/src/ez/named.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/named.bend&start_line=75&end_line=81

import Base
import ezx@1.11.0.0/src/ez/target.bend as Tgt

# the rest of a TOML bare key: letters, digits, `-` and `_`
def bare.rest(text: String) -> Bool:
  match text:
    case SNil{}:
      True{}
    case SCon{+h, t}:
      bare.step(Tgt.plain.at(h), _u => bare.rest(t))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/named.bend&name=bare.step
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/target.bend&name=plain.at