def checked

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

import bendvy-ecs-core@0.1.0.4/owned_family.bend as OwnedFamily

import Base
import world.bend as W

29def checked(-S:Data,header:Header<S>) -> Header<S> & Bool:
30  match header:
31    case Header{+namespace,allocator,W.Handle{+ns,+key},clock,error,cursor}:checked_namespace(S,U32.is_eq(namespace,ns),namespace,allocator,W.Handle{ns,key},clock,error,cursor)

Uses (6)

Used by (2)