Index - I
| I | Language.PTS.Term, Language.PTS |
| inequalityScript | Language.PTS.Examples.Equality |
| Inf | Language.PTS.Term, Language.PTS |
| instantiate1 | Language.PTS.Bound |
| instantiate1H | Language.PTS.Bound |
| instantiate1Hreturn | Language.PTS.Bound |
| instantiate1return | Language.PTS.Bound |
| instantiate2 | Language.PTS.Bound |
| instantiate2H | Language.PTS.Bound |
| instantiate2Hreturn | Language.PTS.Bound |
| instantiate2return | Language.PTS.Bound |
| instantiate3 | Language.PTS.Bound |
| instantiate3H | Language.PTS.Bound |
| instantiate3Hreturn | Language.PTS.Bound |
| instantiate3return | Language.PTS.Bound |
| instantiateHEither | Language.PTS.Bound |
| IrrSym | |
| 1 (Type/Class) | Language.PTS.Sym, Language.PTS |
| 2 (Data Constructor) | Language.PTS.Sym, Language.PTS |
| IrrSym1 | Language.PTS.Sym, Language.PTS |
| IrrSym2 | |
| 1 (Type/Class) | Language.PTS.Sym, Language.PTS |
| 2 (Data Constructor) | Language.PTS.Sym, Language.PTS |
| irrSym2Bool | Language.PTS.Sym, Language.PTS |
| irrSym2fold | Language.PTS.Sym, Language.PTS |
| IrrSym3 | Language.PTS.Sym, Language.PTS |
| irrSym3fold | Language.PTS.Sym, Language.PTS |
| IrrSymI | Language.PTS.Sym, Language.PTS |
| IrrSymJ | Language.PTS.Sym, Language.PTS |
| IrrSymK | Language.PTS.Sym, Language.PTS |