6 Document Module Language
The "doclang.ss" module is suitable for use as a module language. It provides everything from mzscheme, except that it replaces the #%module-begin form.
The "doclang.ss" #%module-begin essentially packages the body of the module into a call to decode, binds the result to doc, and exports doc.
Any module-level form other than an expression (e.g., a require or define) is remains at the top level, and the doc binding is put at the end of the module. As usual, a module-top-level begin slices into the module top level.