def pending_valid

bendvy-ecs-core@0.1.0.4 · world.bend:157

import bendvy-ecs-core@0.1.0.4/world.bend as World
import Base

157# Return World with validation of actual Pending authority for this full handle.
158# An arbitrary reserved key does not by itself establish that pending authority.
159def pending_valid(~S:Data,~C:Type,~R:Type,~E:Data,world:World<S,C,R,E>,handle:Handle<S>) -> World<S,C,R,E> & Bool:
160  checked(~S,~C,~R,~E,2,world,handle)

Uses (5)

Used by (2)