ExecutionTrace.delivered: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/execution_trace.bend as ExecutionTrace
Lines 60-63 of bendvy-ecs-core@0.1.0.4/execution_trace.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/execution_trace.bend&start_line=60&end_line=63

import Base

def delivered(~State:Type,~Error:Data,~step:State -> TraceEvent<Error> -> State,events:List<&2,TraceEvent<Error>>,state:State) -> State:
  match events:
    case []:state
    case event <> rest:delivered(~State,~Error,~step,rest,step(state,event))

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/execution_trace.bend&name=TraceEvent