~/jendhub

def count_keys

bendvy-ecs-core@0.1.0.3 · entity_allocator.bend:154

import bendvy-ecs-core@0.1.0.3/entity_allocator.bend as EntityAllocator
import Base
import entity_key.bend as K

154def count_keys(keys:List<&2,K.Key>) -> Nat:
155  match keys:
156    case []:0n
157    case _ <> rest:1n+count_keys(rest)

Uses (3)

Used by (1)