~/jendhub

type Removal

bendvy-ecs-core@0.1.0.4 · ordinary_capture_query.bend:43

import bendvy-ecs-core@0.1.0.4/ordinary_capture_query.bend as OrdinaryCaptureQuery
import Base

43# Removed returns World and detached affine capture after deregistration.
44# RemovalRejected returns World and original owner. No finalizer is invoked
45# here: caller decides how to reuse or dispose the returned capture.
46type Removal<World:Type,Owned:Type,L:Type> is Type:
47  Removed{world:World,capture:L}
48  RemovalRejected{world:World,owner:Owned}

Uses (0)

This definition uses no other definition.

Used by (2)