~/jendhub

def size_loop

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

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

57def size_loop(~E: Data,batches: List<&2,Batch<E>>,+acc: Nat) -> Nat:
58  match batches:
59    case []: acc
60    case Batch{_,items} <> rest: size_loop(~E,rest,count_loop(~E,items,acc))

Uses (4)

Used by (1)