def registration_id

bendvy-ecs-core@0.1.0.4 · ordinary_app_execution_recipe.bend:28

import bendvy-ecs-core@0.1.0.4/ordinary_app_execution_recipe.bend as OrdinaryAppExecutionRecipe

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Records

28# Extract the recorded system id without validating its World or runner owner.
29def registration_id(~S:Data,fields:Records.Fields<S>) -> U32:
30  match fields:
31    case Records.Fields{_,id,_,_,_,_,_,_}:id

Uses (2)

Used by (5)