render-value/format in drscheme:language:module-based-language<%>
This method is the same as
render-value/format.
(-> voidsenda-drscheme:language:module-based-languagerender-value/formatvaluesettingsportwidth)
value: TST
settings: settings
port: port
width: (or/c number (symbols 'infinity))