drscheme:language:simple-settings-annotations in DrScheme Tools Functions

• (drscheme:language:simple-settings-annotations simple-settings) -> (symbols 'none 'debug 'debug/profile 'test-coverage)
     simple-settings : drscheme:language:simple-settings?

  Extracts the debugging setting from a simple-settings.