| Id | Grisette.Internal.SymPrim.Prim.Internal.Caches |
| Identifier | |
| 1 (Type/Class) | Grisette.Internal.Core.Data.Symbol, Grisette.Core, Grisette |
| 2 (Data Constructor) | Grisette.Internal.Core.Data.Symbol, Grisette.Core, Grisette |
| identifier | Grisette.Internal.Core.Data.Symbol, Grisette.Core, Grisette |
| identify | Grisette.Internal.SymPrim.Prim.Internal.Caches |
| IEEEFPConstants | Grisette.Internal.Core.Data.Class.IEEEFP, Grisette.Core, Grisette |
| IEEEFPConvertible | Grisette.Internal.Core.Data.Class.IEEEFP, Grisette.Core, Grisette |
| IEEEFPOp | Grisette.Internal.Core.Data.Class.IEEEFP, Grisette.Core, Grisette |
| IEEEFPRoundingMode | Grisette.Internal.Core.Data.Class.IEEEFP, Grisette.Core, Grisette |
| IEEEFPRoundingOp | Grisette.Internal.Core.Data.Class.IEEEFP, Grisette.Core, Grisette |
| IEEEFPToAlgReal | Grisette.Internal.Core.Data.Class.IEEEFP, Grisette.Core, Grisette |
| If | Grisette.Internal.Core.Data.Class.UnionView, Grisette.Core, Grisette |
| ifView | Grisette.Internal.Core.Data.Class.UnionView, Grisette.Core, Grisette |
| IfViewResult | |
| 1 (Type/Class) | Grisette.Internal.Core.Data.Class.UnionView, Grisette.Core, Grisette |
| 2 (Data Constructor) | Grisette.Internal.Core.Data.Class.UnionView, Grisette.Core, Grisette |
| ifWithLeftMost | Grisette.Internal.Core.Data.UnionBase |
| ifWithStrategy | Grisette.Internal.Core.Data.UnionBase |
| ignoreExitCode | Grisette.Backend, Grisette |
| ilocsym | Grisette.Internal.Core.Data.Class.Solvable, Grisette.Core, Grisette |
| incNat | Grisette.Internal.Utils.Parameterized, Grisette.Utils, Grisette |
| indent | Grisette.Internal.Core.Data.Class.PPrint, Grisette.Core, Grisette |
| indexed | Grisette.Internal.Core.Data.Symbol, Grisette.Core, Grisette |
| IndexedSymbol | Grisette.Internal.Core.Data.Symbol, Grisette.Core, Grisette |
| Inf | Grisette.Internal.Core.Data.Class.PPrint, Grisette.Core, Grisette |
| insertSymbol | Grisette.Internal.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| insertValue | Grisette.Internal.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| intBitwidthQ | Grisette.Internal.SymPrim.IntBitwidth |
| integerE | Grisette.Internal.TH.Util |
| intern | Grisette.Internal.SymPrim.Prim.Internal.Caches |
| Interned | Grisette.Internal.SymPrim.Prim.Internal.Caches |
| intersectionSet | Grisette.Internal.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| IntN | |
| 1 (Type/Class) | Grisette.Internal.SymPrim.BV, Grisette.SymPrim, Grisette |
| 2 (Data Constructor) | Grisette.Internal.SymPrim.BV |
| IntN16 | Grisette.Internal.SymPrim.BV, Grisette.SymPrim, Grisette |
| IntN32 | Grisette.Internal.SymPrim.BV, Grisette.SymPrim, Grisette |
| IntN64 | Grisette.Internal.SymPrim.BV, Grisette.SymPrim, Grisette |
| IntN8 | Grisette.Internal.SymPrim.BV, Grisette.SymPrim, Grisette |
| invalidFPMessage | Grisette.Internal.SymPrim.FP |
| IsConMode | Grisette.Internal.Unified.EvalModeTag, Grisette.Unified |
| isEmptyModel | Grisette.Internal.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| isEmptySet | Grisette.Internal.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| isMerged | Grisette.Internal.Core.Control.Monad.Union |
| isNonModelVar | Grisette.Backend, Grisette |
| isNonUnitTuple | Grisette.Internal.TH.Util |
| isNonUnitTupleString | Grisette.Internal.TH.Util |
| isQuantifiedSymbol | Grisette.Internal.Backend.QuantifiedStack |
| IsSymbolKind | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term, Grisette.SymPrim, Grisette |
| isUFun | Grisette.Internal.Unified.Theories |
| isVarUsedInFields | Grisette.Internal.TH.Derivation.Common |
| isym | Grisette.Internal.Core.Data.Class.Solvable, Grisette.Core, Grisette |
| isymBV | Grisette.Internal.SymPrim.SomeBV, Grisette.SymPrim, Grisette |
| isymTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| ITEOp | Grisette.Internal.Core.Data.Class.ITEOp, Grisette.Core, Grisette |
| ITETerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term, Grisette.SymPrim, Grisette |
| iteTerm | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| ITETerm' | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |