def namespaces

bendvy-ecs-core@0.1.0.3 · execution_lifetime_scope_coverage.bend:31

import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_coverage.bend as ExecutionLifetimeScopeCoverage

import Base
import bendvy-ecs-core@0.1.0.3/execution_relation_resource_snapshot.bend as Snapshot

31def namespaces(~S:Data,+namespace:U32,views:List<&2,Snapshot.GraphView<S>>) -> Bool:
32  match views:
33    case []:True{}
34    case Snapshot.GraphView{_,_,stored,_} <> rest:Bool.and(U32.is_eq(namespace,stored),namespaces(~S,namespace,rest))

Uses (6)

Used by (2)