MrSpidey

  Files: ``spidey.ss'', ``spideyc.ss''

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

•  :
•  define-primitive
•  define-constructor
•  define-type
•  begin-test-case