EventNoticeRuntime.selected: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as EventNoticeRuntime
Lines 111-113 of bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend&start_line=111&end_line=113

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

def selected(~S:Data,~E:Data,~P:Data,~F:Type,~H:Type,failures:Failures<S,P>,returned:Family.State<P,F,H> & Leaf.Stream<S,E>) -> State<S,P,F,H> & Leaf.Stream<S,E>:
  match returned:
    case (typed,stream):(State{typed,failures},stream)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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_notice_runtime.bend&name=Failures
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_stream.bend&name=Stream