def restored

bendvy-ecs-core@0.1.0.4 · inspector_event_value.bend:18

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/event_stream.bend as Leaf
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route

18def restored(~S:Data,~C:Type,~R:Type,~P:Data,~E:Data,~F:Type,~take:F -> F & Leaf.Stream<S,E>,~put:F -> Leaf.Stream<S,E> -> F,world:W.World<S,C,R,P>,tick:Nat,family:F,returned:Leaf.Stream<S,E> & Maybe<&2,List<&2,E>>) -> Route.Runtime<S,C,R,P,F> & Maybe<&2,List<&2,E>>:
19  match returned:
20    case (stream,values):(Route.Runtime{world,put(family,stream),tick},values)