WorldIo.create: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/world_io.bend as WorldIo
Lines 27-34 of bendvy-ecs-core@0.1.0.3/world_io.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/world_io.bend&start_line=27&end_line=34

import Base
import bendvy-ecs-core@0.1.0.3/world_namespace.bend as F

# Create an independent World through the host IO namespace allocator.
# Consumes resource; Created returns its World, Refused returns resource.
# empty is trusted schema setup constructing component storage. Namespace
# uniqueness is scoped to the qualified host allocator realm/process, not
# arbitrary remote processes or raw constructors.
# Example: examples/scheduled-health/main.bend; identity: docs/parity/identity.md.
def create(~S: Data,~C: Type,~R: Type,~E: Data,~empty: Unit -> C,resource: R) -> IO(Creation<S,C,R,E>):
  IO.bind(U32,Creation<S,C,R,E>,F.fresh(),namespace => with_namespace(~S,~C,~R,~E,~empty,namespace,resource))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world_io.bend&name=Creation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world_io.bend&name=with_namespace
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world_namespace.bend&name=fresh