| identity | Grisette.IR.SymPrim.Data.Prim.InternedTerm.TermUtils, Grisette.Internal.IR.SymPrim |
| identityWithTypeRep | Grisette.IR.SymPrim.Data.Prim.InternedTerm.TermUtils, Grisette.Internal.IR.SymPrim |
| If | Grisette.Core.Data.Union, Grisette.Internal.Core |
| IfU | Grisette.Core.Data.Class.SimpleMergeable, Grisette.Core, Grisette |
| ifView | Grisette.Core.Data.Class.SimpleMergeable, Grisette.Core, Grisette |
| ifWithLeftMost | Grisette.Core.Data.Union, Grisette.Internal.Core |
| ifWithStrategy | Grisette.Core.Data.Union, Grisette.Internal.Core |
| ignoreExitCode | Grisette.Backend.SBV, Grisette |
| iinfosym | Grisette.Core.Data.Class.Solvable, Grisette.Core, Grisette |
| iinfosymTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors, Grisette.Internal.IR.SymPrim |
| ilocsym | Grisette.Core.Data.FileLocation, Grisette.Core, Grisette |
| implies | Grisette.Core.Data.Class.Bool, Grisette.Core, Grisette |
| incNat | Grisette.Utils.Parameterized, Grisette.Utils, Grisette |
| IndexedSymbol | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.IR.SymPrim, Grisette |
| insertSymbol | Grisette.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| insertValue | Grisette.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| intBitwidthQ | Grisette.IR.SymPrim.Data.IntBitwidth |
| integerApprox | Grisette.Backend.SBV.Data.SMT.Solving, Grisette.Backend.SBV, Grisette |
| intersectionSet | Grisette.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| IntN | |
| 1 (Type/Class) | Grisette.Core.Data.BV, Grisette.IR.SymPrim, Grisette |
| 2 (Data Constructor) | Grisette.Core.Data.BV |
| introSupportedPrimConstraint | Grisette.IR.SymPrim.Data.Prim.InternedTerm.TermUtils, Grisette.Internal.IR.SymPrim |
| IsConcrete | Grisette.Core.Control.Monad.UnionM, Grisette.Core, Grisette |
| isEmptyModel | Grisette.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| isEmptySet | Grisette.Core.Data.Class.ModelOps, Grisette.Core, Grisette |
| isMerged | Grisette.Core.Control.Monad.UnionM, Grisette.Internal.Core |
| isNonModelVar | Grisette.Backend.SBV, Grisette |
| isym | Grisette.Core.Data.Class.Solvable, Grisette.Core, Grisette |
| isymTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors, Grisette.Internal.IR.SymPrim |
| ITEOp | Grisette.Core.Data.Class.Bool, Grisette.Core, Grisette |
| ites | Grisette.Core.Data.Class.Bool, Grisette.Core, Grisette |
| ITETerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term, Grisette.Internal.IR.SymPrim |
| iteTerm | Grisette.IR.SymPrim.Data.Prim.InternedTerm.InternedCtors |