ExecutionQueryRecipe.bound_valid: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query_recipe.bend as ExecutionQueryRecipe
Lines 28-35 of bendvy-ecs-core@0.1.0.3/execution_query_recipe.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_recipe.bend&start_line=28&end_line=35

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

def bound_valid(~full:L.Layout,bound:Bound) -> Bool:
  match bound:
    case AllLive{}:True{}
    case With{route}:L.valid(full,route)
    case Without{route}:L.valid(full,route)
    case Changed{route}:L.valid(full,route)
    case And{left,right}:Bool.and(bound_valid(~full,left),bound_valid(~full,right))
    case Or{left,right}:Bool.and(bound_valid(~full,left),bound_valid(~full,right))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=Layout
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend&name=valid
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_recipe.bend&name=Bound