~/jendhub

def registration_name

bendvy-ecs-core@0.1.0.4 · ordinary_app_execution.bend:45

import bendvy-ecs-core@0.1.0.4/ordinary_app_execution.bend as OrdinaryAppExecution
import Base
import bendvy-ecs-core@0.1.0.4/execution_trace.bend as Trace

45def registration_name(items:List<&2,Trace.Identity>,+id:U32) -> Maybe<&2,String>:
46  match items:
47    case []:None{}
48    case Trace.Identity{_,candidate,name} <> rest:named(U32.is_eq(candidate,id),name,_ => registration_name(rest,id))

Uses (7)

Used by (1)