Index - N
| Name | Test.Speculate.Args |
| Names | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| names | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| Nat | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| nat | Test.Speculate |
| Nat1 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| Nat2 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| Nat3 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| Nat4 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| Nat5 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| Nat6 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| Nat7 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| neverIdentity | Test.Speculate |
| noDupListCons | Test.Speculate |
| noDupListsOf | Test.Speculate |
| normalize | Test.Speculate.Reason |
| normalizedCriticalPairs | Test.Speculate.Reason |
| normalizeE | Test.Speculate.Reason |
| normalizeT | Test.Speculate |