drscheme:language-configuration:make-language-settings in DrScheme Tools Functions
(drscheme:language-configuration:make-language-settings -> drscheme:language-configuration:language-settings?
language settings)
language : (union (is-a?/c drscheme:language:language<%>) language-object)
settings : any?
This is the constructor for a record consisting of two elements, a language and its settings.
The settings is a language-specific record that holds a value describing a parameterization of the language.
It has two selectors,
drscheme:language-configuration:language-settings-language and
drscheme:language-configuration:language-settings-settings, and a predicate,
drscheme:language-configuration:language-settings?