Manifest.names.valid.step: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/Manifest.bend as Manifest
Lines 129-136 of mylsm-lsm-store@0.6.0.1/src/Manifest.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/Manifest.bend&start_line=129&end_line=136

import Base

def names.valid.step(rest: List<&2, String>, valid: Bool) -> Bool:
  match rest valid:
    case _ False{}:
      False{}
    case Nil{} True{}:
      True{}
    case Con{name, tail} True{}:
      names.valid.step(tail, name.text.valid(name))

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=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Manifest.bend&name=name.text.valid