def namespaced

bendvy-ecs-core@0.1.0.4 · system_instance.bend:39

import Base
import world.bend as W
import system.bend as Sys

39def namespaced(~S: Data,~C: Type,~R: Type,~E: Data,~Args: Type,~Error: Data,~Output: Type,~run: W.World<S,C,R,E> -> Args -> Sys.Outcome<W.World<S,C,R,E>,Error,Output>,~Ports: Type,~validate: Ports -> U32 -> U32 -> Ports & Bool,~remove: W.World<S,C,R,E> -> Ports -> W.World<S,C,R,E>,~create: U32 -> U32 -> W.World<S,C,R,E> -> W.World<S,C,R,E> & Ports,registry: Sys.Registry<S,C,R,E,Args,Error,Output,run>,observed: W.World<S,C,R,E> & U32) -> Registration<S,C,R,E,Args,Error,Output,run,Ports,validate,remove>:
40  match observed:
41    case (world,namespace): created(~S,~C,~R,~E,~Args,~Error,~Output,~run,~Ports,~validate,~remove,~create,world,namespace,Sys.identity(~S,~C,~R,~E,~Args,~Error,~Output,~run,registry))