drscheme:language:simple-settings->vector in DrScheme Tools Functions

• (drscheme:language:simple-settings->vector simple-settings) -> vector?
     simple-settings : drscheme:language:simple-settings?

  Constructs a vector whose elements are the fields of simple-settings.