def levels.valid.step

mylsm-lsm-store@0.6.0.1 · src/Manifest.bend:141

import mylsm-lsm-store@0.6.0.1/src/Manifest.bend as Manifest

import Base

141def levels.valid.step(rest: List<&2, List<&2, String>>, valid: Bool) -> Bool:
142  match rest valid:
143    case _ False{}:
144      False{}
145    case Nil{} True{}:
146      True{}
147    case Con{+names, tail} True{}:
148      levels.valid.step(tail, names.valid(names))

Uses (4)

Used by (1)

mylsm-lsm-store@0.6.0.1/src/Manifest:levels.valid