(
(":" "node19.htm" "19817" "Type Assertions")
("assertion" "node19.htm" "19816" "Type Assertions")
("debugger, static" "node4.htm" "19509" "Using MrSpidey")
("debugger, static" "node2.htm" "19497" "Introduction to MrSpidey")
("define-constructor" "node22.htm" "19839" "Declaring Constructors")
("define-type" "node23.htm" "19843" "Declaring New Types")
("MrSpidey" "node4.htm" "19508" "Using MrSpidey")
("MrSpidey" "node2.htm" "19496" "Introduction to MrSpidey")
("polymorphic" "node20.htm" "19827" "Polymorphic Annotations")
("polymorphism" "node20.htm" "19826" "Polymorphic Annotations")
("type" "node16.htm" "19694" "The Type Language")
("type, assertion" "node19.htm" "19815" "Type Assertions")
("type, class" "node16.htm" "19698" "The Type Language")
("type, empty" "node16.htm" "19695" "The Type Language")
("type, list" "node16.htm" "19700" "The Type Language")
("type, listof" "node16.htm" "19701" "The Type Language")
("type, mu" "node16.htm" "19702" "The Type Language")
("type, object" "node16.htm" "19699" "The Type Language")
("type, rec" "node16.htm" "19697" "The Type Language")
("type, union" "node16.htm" "19696" "The Type Language")
("type:" "node21.htm" "19834" "Declaring New Primitives")
)
