def size

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

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

62def size(~E: Data,batches: List<&2,Batch<E>>) -> Nat:
63  size_loop(~E,batches,0n)

Uses (4)

Used by (5)