public LevelDef(WorldType world, Level level, Difficulty difficulty) { World = world; Level = level; Difficulty = difficulty; }