def count_free

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

import Base

158def count_free(keys:List<&2,U32>) -> Nat:
159  match keys:
160    case []:0n
161    case _ <> rest:1n+count_free(rest)