anchor.diff:              let world = World.subscribe SplashScreenTickKey (World.handleSplashScreenIdleTick idlingTime 0L) TickEventAddress event.SubscriberAddress world
               (Resolve, world)
   
  +        /// Add a splash screen to the world at the given address that transitions to the given
  +        /// destination upon completion.
           static member addSplashScreen persistent splashData dispatcherName destination address world =
               let splashScreen = { World.makeDissolveScreen splashData.DissolveData dispatcherName (Some <| Address.head address) world with Persistent = persistent }
               let splashGroup = { World.makeGroup typeof<GroupDispatcher>.Name (Some "SplashGroup") world with Persistent = persistent }
  
positive.code:             // propagate error
              with exn -> Left <| acstring exn
  
          static member tryReloadAssets inputDirectory outputDirectory refinementDirectory world =
              
              // try to reload asset graph file
  
negative.code:             let world = World.setScreen screen address world
              (screen, world)
  
          /// Select the given screen without transitioning.
          static member selectScreen screen screenAddress world =
              let world =
                  match World.getOptSelectedScreenAddress world with
  