EventFamilyRuntime.take: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/event_family_runtime.bend as EventFamilyRuntime
Lines 72-77 of bendvy-ecs-core@0.1.0.4/event_family_runtime.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/event_family_runtime.bend&start_line=72&end_line=77

import Base
import bendvy-ecs-core@0.1.0.4/event_stream.bend as Leaf

# Trusted selector adapter extracting a copied Data stream while retaining actual
# family/owners/journal. Selector coherence comes from canonical provision, not
# a universal ownership or route-validity check in this wrapper.
def take(~S:Data,~E:Data,~P:Data,~F:Type,~H:Type,~take:F -> F & Leaf.Stream<S,E>,state:State<P,F,H>) -> State<P,F,H> & Leaf.Stream<S,E>:
  match state:
    case State{family,owners,journal,frameStart}:selected_state(~S,~E,~P,~F,~H,owners,journal,frameStart,take(family))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_family_runtime.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_family_runtime.bend&name=selected_state
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_stream.bend&name=Stream