def release_cleared

bendvy-ecs-core@0.1.0.3 · world.bend:192

import Base

192# Only schema-owned cleanup calls this after all payloads and stamps are cleared.
193# Trusted cleanup boundary: release only after schema-owned payload/stamp clearing.
194# Metadata validation is not proof that arbitrary caller-supplied storage is empty.
195def release_cleared(~S:Data,~C:Type,~R:Type,~E:Data,world:World<S,C,R,E>,+handle:Handle<S>) -> World<S,C,R,E>:
196  owner_change(~S,~C,~R,~E,True{},handle_key(~S,handle),metadata_valid(~S,~C,~R,~E,world,handle))