render-value in drscheme:language:simple-module-based-language->module-based-language-mixin
This method is the same as
render-value.
(voidsenda-drscheme:language:simple-module-based-language->module-based-language-mixinrender-valuevaluesettingsport
value: TST
settings: settings
port: portTranslates the value to a string, based on the settings.
Restores a super struct inspector to render structs properly. (See also
on-execute)See also section 3.20 for details of the simple-settings structure, this mixins
settingstype.