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/formatvaluesettingsportport-write)
value: TST
settings: settings
port: port
port-write: (union #f ((instanceofsnip%) -> void))