def ids

bendvy-ecs-core@0.1.0.4 · ordinary_app_schedule.bend:46

import bendvy-ecs-core@0.1.0.4/ordinary_app_schedule.bend as OrdinaryAppSchedule
import Base
import world.bend as W

46def ids(registrations:List<&2,W.RegistrationMeta>) -> List<&2,U32>:
47  match registrations:
48    case []:[]
49    case W.RegistrationMeta{id,_,_} <> rest:id <> ids(rest)

Uses (3)

Used by (1)