Manifest.levels.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 141-148 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=141&end_line=148

import Base

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

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=names.valid