def shutdown_returned

bendvy-ecs-core@0.1.0.3 · execution_event_family.bend:106

import bendvy-ecs-core@0.1.0.3/execution_event_family.bend as ExecutionEventFamily

import Base
import bendvy-ecs-core@0.1.0.3/owned_event_log.bend as Log

106def shutdown_returned(~S:Data,~P:Type,~key:String,identity:U32,nextReader:U32,dropped:Nat,result:Log.Log<P> & List<Log.Row<P>>) -> Family<S,P,key> & List<Log.Row<P>>:
107  match result:
108    case (log,rows):(Family{identity,False{},log,[],[],nextReader,[],dropped},rows)

Uses (10)

Used by (1)

bendvy-ecs-core@0.1.0.3/execution_event_family:shutdown