Removals.count: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/removals.bend as Removals
Lines 24-27 of bendvy-ecs-core@0.1.0.4/removals.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/removals.bend&start_line=24&end_line=27

import Base

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat