def registered_context_named

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

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

56def registered_context_named(~S:Data,~C:Type,~R:Type,~E:Data,
57  id:U32,name:String,access:List<&2,String>,factsNamespace:U32,
58  named:W.World<S,C,R,E> & U32) -> W.World<S,C,R,E> & Bool:
59  match named:
60    case (world,currentNamespace):
61      registered_context_checked(~S,~C,~R,~E,factsNamespace,currentNamespace,
62        W.registration_matches(~S,~C,~R,~E,world,id,name,access))