| 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 |
| IdentifierWithInfo | Grisette.Internal.Core.Data.Symbol, Grisette.Core, Grisette |
| identity | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| identityWithTypeRep | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| IEEEConstants | 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 |
| If | Grisette.Internal.Core.Data.Class.PlainUnion, Grisette.Core, Grisette |
| ifView | Grisette.Internal.Core.Data.Class.PlainUnion, Grisette.Core, Grisette |
| ifWithLeftMost | Grisette.Internal.Core.Data.UnionBase |
| ifWithStrategy | Grisette.Internal.Core.Data.UnionBase |
| ignoreExitCode | Grisette.Backend, Grisette |
| ignoreIfAlreadyHandled | Grisette.Internal.TH.DeriveTypeParamHandler, Grisette.TH, 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 |
| instanceDeclaration | Grisette.Internal.TH.DeriveInstanceProvider, Grisette.TH, Grisette |
| intBitwidthQ | Grisette.Internal.SymPrim.IntBitwidth |
| integerApprox | Grisette.Internal.Backend.Solving, Grisette.Backend, Grisette |
| 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 |
| introSupportedPrimConstraint | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| IsConcrete | Grisette.Internal.Core.Control.Monad.Union, Grisette.Core, Grisette |
| IsConMode | Grisette.Unified.Internal.EvalModeTag, Grisette.Unified |
| isEmptyModel | Grisette.Internal.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| isEmptySet | Grisette.Internal.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| IsFPBits | |
| 1 (Type/Class) | Grisette.Internal.TH.DeriveTypeParamHandler, Grisette.TH, Grisette |
| 2 (Data Constructor) | Grisette.Internal.TH.DeriveTypeParamHandler, Grisette.TH, Grisette |
| isMerged | Grisette.Internal.Core.Control.Monad.Union |
| isNonModelVar | Grisette.Backend, Grisette |
| 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 |
| IsZero | Grisette.Internal.SymPrim.Prim.Internal.IsZero |
| isZero | Grisette.Internal.SymPrim.Prim.Internal.IsZero |
| IsZeroCases | Grisette.Internal.SymPrim.Prim.Internal.IsZero |
| IsZeroEvidence | Grisette.Internal.SymPrim.Prim.Internal.IsZero |
| ITEOp | Grisette.Internal.Core.Data.Class.ITEOp, Grisette.Core, 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 |