def target

bendvy-ecs-core@0.1.0.4 · recognized_system.bend:13

import Base
import bendvy-ecs-core@0.1.0.4/internal/compact_operational_frame.bend as F
import bendvy-ecs-core@0.1.0.4/world.bend as W

13# Registry ownership and final transaction semantics remain ordinary. The closed
14# recognized carrier supplies operations for this concrete, smaller owner.
15def target(~S:Data,~Store:Type,~R:Type,~E:Data,handle:W.Handle<S>,frame:F.Frame<S,Store,R,E>) -> F.Frame<S,Store,R,E>:
16  match frame:
17    case F.Frame{namespace,allocator,store,_,_,cursor,shell}:F.Frame{namespace,allocator,store,handle,None{},cursor,shell}