Index - N

name	Test.QuickSpec.Term
newSym
1 (Function)	Test.QuickSpec.Reasoning.UnionFind
2 (Function)	Test.QuickSpec.Reasoning.CongruenceClosure
NoTarget	Test.QuickSpec.Main
numResults	Test.QuickSpec.TestTree
numTests	Test.QuickSpec.TestTree