use-mred-launcher in drscheme:language:module-based-language<%>

This method is called when an executable is created to determine if the executable should use the mred or the mzscheme binary.

• (send a-drscheme:language:module-based-language use-mred-launcher) -> boolean