~/jendhub

def count_loop

bendvy-ecs-core@0.1.0.3 · machine_stream_queue.bend:93

import bendvy-ecs-core@0.1.0.3/machine_stream_queue.bend as MachineStreamQueue
import Base

93def count_loop(~E: Data,items: List<&2,E>,acc: Nat) -> Nat:
94  count_loop_generic(E,items,acc)

Uses (3)

Used by (0)

No other definition uses this definition.