| identity | Language.Hasmtlib.Type.Relation, Language.Hasmtlib |
| IDiv | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| image | Language.Hasmtlib.Type.Relation, Language.Hasmtlib |
| Impl | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| Incremental | Language.Hasmtlib.Type.Option, Language.Hasmtlib |
| incrementalStackish | Language.Hasmtlib.Type.Debugger, Language.Hasmtlib |
| incrSharedAuxs | Language.Hasmtlib.Type.Pipe, Language.Hasmtlib |
| indices | Language.Hasmtlib.Type.Relation, Language.Hasmtlib |
| interactiveWith | Language.Hasmtlib.Type.Solver, Language.Hasmtlib |
| IntSort | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| IntValue | Language.Hasmtlib.Type.Value, Language.Hasmtlib |
| IntValueMap | |
| 1 (Type/Class) | Language.Hasmtlib.Type.Solution, Language.Hasmtlib |
| 2 (Data Constructor) | Language.Hasmtlib.Type.Solution, Language.Hasmtlib |
| IsInt | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| isIntSort | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| isLeaf | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| Ite | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| ite | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| Iteable | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |