| 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 |
| 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.Union |
| ifWithStrategy | Grisette.Internal.Core.Data.Union |
| ignoreExitCode | Grisette.Backend, Grisette |
| ilocsym | Grisette.Internal.Core.Data.Class.Solvable, Grisette.Core, Grisette |
| incNat | Grisette.Internal.Utils.Parameterized, Grisette.Utils, Grisette |
| indexed | Grisette.Internal.Core.Data.Symbol, Grisette.Core, Grisette |
| IndexedSymbol | Grisette.Internal.Core.Data.Symbol, 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 |
| 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 |
| introSupportedPrimConstraint | Grisette.Internal.SymPrim.Prim.Internal.Term, Grisette.Internal.SymPrim.Prim.Term |
| IsConcrete | Grisette.Internal.Core.Control.Monad.UnionM, Grisette.Core, Grisette |
| 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.UnionM |
| 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 |