make-namespace-with-mred in Miscellaneous

Like make-namespace, chapter 8 in PLT MzLib: Libraries Manual, but the (lib "mred.ss" "mred") module of the current namespace is attached. In addition, by default, the namespace is initialized by importing the mred.ss module and MzLib's class.ss module into the namespace's top-level environment.

• (make-namespace-with-mred flag) -> namespace
     flag = 'mred : symbol in '(mred initial empty)

  The 'initial and 'empty flags control the namespace creation in the same way as for make-namespace, chapter 8 in PLT MzLib: Libraries Manual, except that the mred.ss module is attached to the created namespace (along with the transitive closure of its imports). The 'mred flag is like 'initial, but also imports the mred.ss module and MzLib's class.ss module into the namespace's top-level environment.