def routes_valid

bendvy-ecs-core@0.1.0.3 · execution_query_schema.bend:41

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

41def routes_valid(~full:L.Layout,entries:List<&2,Entry>) -> Bool:
42  match entries:
43    case []:True{}
44    case Entry{route,_} <> rest:Bool.and(L.valid(full,route),routes_valid(~full,rest))