def count_loop

bendvy-ecs-core@0.1.0.4 · machine_stream_queue.bend:12

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

import Base

12def count_loop(~E: Data,items: List<&2,E>,acc: Nat) -> Nat:
13  match items:
14    case []: acc
15    case _ <> rest: count_loop(~E,rest,Nat.add(1n,acc))

Uses (3)

Used by (2)