MrSpidey: spidey.ss

This library defines dummy macros for compatibility with MrSpidey annotations (see PLT MrSpidey: Static Debugger Manual). The following macros are defined:

• : -- expands to the first expression
• polymorphic -- expands to the first expression
• define-constructor -- expands to (#%void)
• define-type -- expands to (#%void)
• mrspidey:control -- expands to (#%void)