type Registration

bendvy-ecs-core@0.1.0.4 · ordinary_app_local_fields.bend:42

import Base

42# Registration success retains Local in owner; refusal returns actual World and
43# incoming L separately, without running the callback.
44type Registration<-World:Type,-Owned:Type,-L:Type> is Type:
45  Registered{world:World,owner:Owned}
46  Rejected{world:World,local:L}