exit:exit

exit:exit performs three actions:

• If the preference 'framework:verify-exit is not #f, it prompts the user about quiting (see the preferences section), and if the user sanctions quiting (or if the preference is #f), it
• invokes the exit-callbacks, with exit:can-exit?If none of the ``can?'' callbacks return #f, it invokes exit:on-exitand then exit (a mzscheme procedure).

• (exit:exit) -> (void)