def merged_chunk

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

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

108def merged_chunk(~Error:Data,next:List<&2,Trace.TraceEvent<Error>> -> List<&2,Trace.TraceEvent<Error>>,chunk:List<&2,Trace.TraceEvent<Error>> & List<&2,Trace.TraceEvent<Error>>) -> List<&2,Trace.TraceEvent<Error>>:
109  match chunk:
110    case (prefix,remaining):List.append(&2,Trace.TraceEvent<Error>,prefix,next(remaining))

Uses (5)

Used by (1)