ExecutionQueryAdmission.handles_valid: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_query_admission.bend as ExecutionQueryAdmission
Lines 75-78 of bendvy-ecs-core@0.1.0.3/execution_query_admission.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_query_admission.bend&start_line=75&end_line=78

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/entity_key.bend as K
import bendvy-ecs-core@0.1.0.3/indexed_lifecycle.bend as Indexed

def handles_valid(~S:Data,+namespace:U32,handles:List<&2,W.Handle<S>>) -> Bool:
  match handles:
    case []:True{}
    case W.Handle{hn,key} <> rest:Bool.and(U32.is_eq(namespace,hn),Bool.and(Indexed.normal(K.index(key)),handles_valid(~S,namespace,rest)))

Uses (8):
  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=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/entity_key.bend&name=index
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/indexed_lifecycle.bend&name=normal
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Handle