RestoreApply.count_entities: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restore_apply.bend as RestoreApply
Lines 58-61 of bendvy-ecs-core@0.1.0.4/restore_apply.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restore_apply.bend&start_line=58&end_line=61

import Base
import bendvy-ecs-core@0.1.0.4/snapshot_data.bend as Snapshot

def count_entities(values:List<&2,Snapshot.Entity>) -> Nat:
  match values:
    case []:0n
    case _ <> rest:1n+count_entities(rest)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/snapshot_data.bend&name=Entity