~/jendhub

def count_loop

bendvy-ecs-core@0.1.0.4 · internal/relation_failures/queue.bend:12

import bendvy-ecs-core@0.1.0.4/internal/relation_failures/queue.bend as Queue
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 (1)