render-value in drscheme:language:module-based-language<%>
This method is the same as
render-value.
(-> voidsenda-drscheme:language:module-based-languagerender-valuevaluesettingsportport-write)
value: TST
settings: settings
port: port
port-write: (union #f ((instanceofsnip%) -> void))