ExecutionLifetimeScopeStore.snapshot: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend as ExecutionLifetimeScopeStore
Lines 43-45 of bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&start_line=43&end_line=45

import Base
import bendvy-ecs-core@0.1.0.3/lifetime_scope.bend as Scope

def snapshot(~S:Data,+actual:U32,store:Store<S>,scope:Scope.Scope<S>) -> Store<S> & Snapshot<S>:
  match store scope:
    case Store{+namespace,members} Scope.Scope{+scopeNamespace,+name}:snapshot_checked(~S,Bool.and(U32.is_eq(actual,namespace),U32.is_eq(actual,scopeNamespace)),Store{namespace,members},Scope.Scope{scopeNamespace,name})

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  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/execution_lifetime_scope_store.bend&name=Snapshot
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&name=Store
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&name=snapshot_checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/lifetime_scope.bend&name=Scope