def registered_context_checked

bendvy-ecs-core@0.1.0.4 · ordinary_reader_stream_parameter.bend:51

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

51# Keep the affine World returned by the normal registration check.
52def registered_context_checked(~S:Data,~C:Type,~R:Type,~E:Data,
53  namespace:U32,currentNamespace:U32,checked:W.World<S,C,R,E> & Bool) -> W.World<S,C,R,E> & Bool:
54  match checked:
55    case (world,matched):(world,Bool.and(U32.is_eq(namespace,currentNamespace),matched))