def provided
import bendvy-ecs-core@0.1.0.4/ordinary_check_declaration.bend as OrdinaryCheckDeclarationimport Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
46def provided(~S:Data,~C:Type,~R:Type,~E:Data,world:W.World<S,C,R,E>) -> W.World<S,C,R,E> & List<&2,String>:(world,[])