Index - I
| idempotent | Test.Speculate |
| identity | Test.Speculate |
| implication | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| inequal | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| initialize | Test.Speculate.Reason |
| ins | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| insert | Test.Speculate.Reason |
| Instance | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| instanceErrors | Test.Speculate.Sanity |
| Instances | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| instances | Test.Speculate.Args, Test.Speculate |
| instanceType | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| int | Test.Speculate |
| Int1 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| int1 | Test.Speculate |
| Int2 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| int2 | Test.Speculate |
| Int3 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| int3 | Test.Speculate |
| Int4 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| int4 | Test.Speculate |
| integer | Test.Speculate |
| irreflexive | Test.Speculate |
| isAssignment | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isCanonInstanceOf | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
| isConstantNamed | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isEq | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| isEqE | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| isEqOrd | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| isEqOrdE | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| isEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| isInstanceOf | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
| isListable | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| isNormal | Test.Speculate.Reason |
| isOrd | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| isOrdE | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| isSub | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |