def ran_chunk

bendvy-ecs-core@0.1.0.4 · ordinary_app_execution.bend:98

import Base
import bendvy-ecs-core@0.1.0.4/execution_trace.bend as Trace

98def ran_chunk(~Error:Data,journal:List<&2,Trace.TraceEvent<Error>>) -> List<&2,Trace.TraceEvent<Error>> & List<&2,Trace.TraceEvent<Error>>:
99  match journal:
100    case []:([],[])
101    case Trace.OperationObserved{identity,fact} <> rest:ran_chunk_more(~Error,Trace.OperationObserved{identity,fact},ran_chunk(~Error,rest))
102    case event <> rest:([event],rest)