<> <> DIRECTORY WorldVM USING[ World ]; AMEventBooted: CEDAR DEFINITIONS = BEGIN BootedNotifier: TYPE = PROC[world: WorldVM.World, clientData: REF]; <> RegisterBootedNotifier: PROC[proc: BootedNotifier, world: WorldVM.World _ NIL, clientData: REF _ NIL]; <> UnRegisterBootedNotifier: PROC[proc: BootedNotifier, world: WorldVM.World _ NIL, clientData: REF _ NIL]; <> <> END.