~/jendhub

def allocated

bendvy-ecs-core@0.1.0.3 · execution_event_family.bend:40

import bendvy-ecs-core@0.1.0.3/execution_event_family.bend as ExecutionEventFamily
import Base

40def allocated(~S:Data,~P:Type,~key:String,+identity:U32) -> Creation<S,P,key>:
41  created(~S,~P,~key,identity,Bool.and(U32.is_lt(0,identity),U32.is_lt(identity,4294967295)))

Uses (6)

Used by (0)

No other definition uses this definition.