def count_loop

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

import Base

34def count_loop(~E: Data,items: List<&2,E>,+acc: Nat) -> Nat:
35  match items:
36    case []: acc
37    case _ <> rest: count_loop(~E,rest,1n+acc)