def count

bendvy-ecs-core@0.1.0.4 · removals.bend:24

import Base

24def count(~E: Data,xs: List<&2,E>) -> Nat:
25  match xs:
26    case []: 0n
27    case _ <> rest: 1n+count(~E,rest)