Next:
Type Assertions
Up:
PLT MrSpidey: Static Debugger
Previous:
Accurate Numeric Operations
Extensions to DrScheme
Type Assertions
Polymorphic Annotations
Declaring New Primitives
Declaring Constructors
Declaring New Types
PLT
![[previous]](../icons/left.gif)
![[up]](../icons/up.gif)
![[next]](../icons/right.gif)