def count_loop_generic

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

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

import Base

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

Uses (3)

Used by (2)