WorldIo.convert: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/world_io.bend as WorldIo
Lines 16-19 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=16&end_line=19

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

def convert(~S: Data,~C: Type,~R: Type,~E: Data,created: W.Creation<S,C,R,E>) -> Creation<S,C,R,E>:
  match created:
    case W.Created{_,world}: Created{world}
    case W.CreateRejected{_,resource}: Refused{resource}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=Creation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world_io.bend&name=Creation