def sync_checked

bendvy-ecs-core@0.1.0.4 · event_runtime.bend:162

import bendvy-ecs-core@0.1.0.4/event_runtime.bend as EventRuntime

import Base

162def sync_checked(~E: Data,nonempty: Bool,+batches: List<&2,Batch<E>>,+tick: Nat,+published: List<&2,E>) -> List<&2,Batch<E>>:
163  match nonempty:
164    case False{}: batches
165    case True{}: append(~Batch<E>,batches,[Batch{tick,published}])

Uses (5)

Used by (5)