WorldNamespace.fresh: def of bendvy-ecs-core@0.1.0.3 Import: import bendvy-ecs-core@0.1.0.3/world_namespace.bend as WorldNamespace Lines 3-6 of bendvy-ecs-core@0.1.0.3/world_namespace.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/world_namespace.bend&start_line=3&end_line=6 import Base # Host identity allocation is an IO effect, not a mathematical ECS proof. def fresh() -> IO(U32): import "./world_namespace.c" import "./world_namespace.js" Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32