def checked_live

bendvy-ecs-core@0.1.0.4 · owned_family.bend:22

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.4/clock_state.bend as Clock
import entity_allocator.bend as A
import world.bend as W

22def checked_live(-S:Data,namespace:U32,handle:W.Handle<S>,clock:Clock.State,error:Maybe<&2,W.WorldError>,cursor:Maybe<&2,Tick.Tick>,observed:A.Allocator & Bool) -> Header<S> & Bool:
23  match observed:
24    case (allocator,valid):(Header{namespace,allocator,handle,clock,error,cursor},valid)