def valid

bendvy-ecs-core@0.1.0.3 · execution_resource_recipe.bend:28

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L

28def valid(~full:L.Layout,entries:List<&2,Entry>) -> Bool:
29  match entries:
30    case []:True{}
31    case Entry{+route,key,_} <> rest:Bool.and(L.valid(full,route),Bool.and(String.eq(L.key(full,route),key),valid(~full,rest)))