Index - I
| index | Test.QuickSpec.Term |
| inhabitedTypes | Test.QuickSpec.Signature |
| initial | |
| 1 (Function) | Test.QuickSpec.Reasoning.UnionFind |
| 2 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 3 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| isOp | Test.QuickSpec.Term |
| isRep | Test.QuickSpec.Reasoning.UnionFind |
| isSorted | Test.QuickSpec.Utils |
| isSortedBy | Test.QuickSpec.Utils |
| isUndefined | Test.QuickSpec.Term |