EventFamilyRuntime.put: 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 78-83 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=78&end_line=83

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

# Trusted selector adapter reinserting a Data stream into actual family state,
# preserving owners/journal/frame marker. Does not validate arbitrary stream origin
# or manufacture a reader capability.
def put(~S:Data,~E:Data,~P:Data,~F:Type,~H:Type,~put:F -> Leaf.Stream<S,E> -> F,state:State<P,F,H>,stream:Leaf.Stream<S,E>) -> State<P,F,H>:
  match state:
    case State{family,owners,journal,frameStart}:State{put(family,stream),owners,journal,frameStart}

Uses (2):
  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_stream.bend&name=Stream