| idempotents | LTK.Algebra |
| Importable | LTK.Porters, LTK |
| IncreasingSize | |
| 1 (Type/Class) | LTK.Containers, LTK.FSA, LTK |
| 2 (Data Constructor) | LTK.Containers, LTK.FSA, LTK |
| Initial | LTK.Extract.SL, LTK.Extract, LTK |
| initialPaths | LTK.Extract.SL, LTK.Extract, LTK |
| initials | LTK.FSA, LTK |
| initialsNDPath | LTK.Traversals, LTK |
| initialsPaths | LTK.Traversals, LTK |
| insert | LTK.Containers, LTK.FSA, LTK |
| insertExpr | LTK.Porters.Pleb |
| interleave | LTK.Containers, LTK.FSA, LTK |
| intersectAll | LTK.Containers, LTK.FSA, LTK |
| intersection | LTK.Containers, LTK.FSA, LTK |
| invertATT | LTK.Porters.ATT |
| isAcom | LTK.Decide.Acom, LTK.Decide, LTK |
| isAcomM | LTK.Decide.Acom, LTK.DecideM |
| isAcoms | LTK.Decide.Acom, LTK.DecideS |
| isAcyclic | LTK.Traversals, LTK |
| isB | LTK.Decide.B, LTK.Decide, LTK |
| isBM | LTK.Decide.B, LTK.DecideM |
| isBs | LTK.Decide.B, LTK.DecideS |
| isCB | LTK.Decide.CB, LTK.Decide, LTK |
| isCBM | LTK.Decide.CB, LTK.DecideM |
| isCBs | LTK.Decide.CB, LTK.DecideS |
| isCofinite | LTK.Decide.Finite, LTK.Decide, LTK |
| isCofiniteM | LTK.Decide.Finite, LTK.DecideM |
| isCommutative | LTK.Algebra |
| isDef | LTK.Decide.Definite, LTK.Decide, LTK |
| isDefM | LTK.Decide.Definite, LTK.DecideM |
| isDefs | LTK.Decide.Definite, LTK.DecideS |
| isDeterministic | LTK.FSA, LTK |
| isDot1 | LTK.Decide.DotDepth, LTK.Decide, LTK |
| isDot1M | LTK.Decide.DotDepth, LTK.DecideM |
| isDot1s | LTK.Decide.DotDepth, LTK.DecideS |
| isEmpty | LTK.Containers, LTK.FSA, LTK |
| isFinite | LTK.Decide.Finite, LTK.Decide, LTK |
| isFiniteM | LTK.Decide.Finite, LTK.DecideM |
| isFO2 | LTK.Decide.FO2, LTK.Decide, LTK |
| isFO2B | LTK.Decide.FO2, LTK.Decide, LTK |
| isFO2BF | LTK.Decide.FO2, LTK.Decide, LTK |
| isFO2BFM | LTK.Decide.FO2, LTK.DecideM |
| isFO2BM | LTK.Decide.FO2, LTK.DecideM |
| isFO2Bs | LTK.Decide.FO2, LTK.DecideS |
| isFO2M | LTK.Decide.FO2, LTK.DecideM |
| isFO2S | LTK.Decide.FO2, LTK.Decide, LTK |
| isFO2s | LTK.Decide.FO2, LTK.DecideS |
| isFO2SM | LTK.Decide.FO2, LTK.DecideM |
| isFO2Ss | LTK.Decide.FO2, LTK.DecideS |
| isGD | LTK.Decide.GD, LTK.Decide, LTK |
| isGDM | LTK.Decide.GD, LTK.DecideM |
| isGDs | LTK.Decide.GD, LTK.DecideS |
| isGLPT | LTK.Decide.GLPT, LTK.Decide, LTK |
| isGLPTM | LTK.Decide.GLPT, LTK.DecideM |
| isGLPTs | LTK.Decide.GLPT, LTK.DecideS |
| isGLT | LTK.Decide.GLT, LTK.Decide, LTK |
| isGLTM | LTK.Decide.GLT, LTK.DecideM |
| isGLTs | LTK.Decide.GLT, LTK.DecideS |
| isIn | LTK.Containers, LTK.FSA, LTK |
| isize | LTK.Containers, LTK.FSA, LTK |
| isLAcom | LTK.Decide.LAcom, LTK.Decide, LTK |
| isLAcomM | LTK.Decide.LAcom, LTK.DecideM |
| isLAcoms | LTK.Decide.LAcom, LTK.DecideS |
| isLB | LTK.Decide.B, LTK.Decide, LTK |
| isLBM | LTK.Decide.B, LTK.DecideM |
| isLBs | LTK.Decide.B, LTK.DecideS |
| isLPT | LTK.Decide.LPT, LTK.Decide, LTK |
| isLPTM | LTK.Decide.LPT, LTK.DecideM |
| isLPTs | LTK.Decide.LPT, LTK.DecideS |
| isLT | LTK.Decide.LT, LTK.Decide, LTK |
| isLTM | LTK.Decide.LT, LTK.DecideM |
| isLTs | LTK.Decide.LT, LTK.DecideS |
| isLTT | LTK.Decide.LTT, LTK.Decide, LTK |
| isLTTM | LTK.Decide.LTT, LTK.DecideM |
| isLTTs | LTK.Decide.LTT, LTK.DecideS |
| isMTDef | LTK.Decide.Multitier, LTK.Decide, LTK |
| isMTDefM | LTK.Decide.Multitier, LTK.DecideM |
| isMTDefs | LTK.Decide.Multitier, LTK.DecideS |
| isMTF | LTK.Decide.Multitier, LTK.Decide, LTK |
| isMTFM | LTK.Decide.Multitier, LTK.DecideM |
| isMTFs | LTK.Decide.Multitier, LTK.DecideS |
| isMTGD | LTK.Decide.Multitier, LTK.Decide, LTK |
| isMTGDM | LTK.Decide.Multitier, LTK.DecideM |
| isMTGDs | LTK.Decide.Multitier, LTK.DecideS |
| isMTRDef | LTK.Decide.Multitier, LTK.Decide, LTK |
| isMTRDefM | LTK.Decide.Multitier, LTK.DecideM |
| isMTRDefs | LTK.Decide.Multitier, LTK.DecideS |
| isNotIn | LTK.Containers, LTK.FSA, LTK |
| isNull | LTK.FSA, LTK |
| isProperSubsetOf | LTK.Containers, LTK.FSA, LTK |
| isProperSupersetOf | LTK.Containers, LTK.FSA, LTK |
| isPT | LTK.Decide.PT, LTK.Decide, LTK |
| isPTM | LTK.Decide.PT, LTK.DecideM |
| isPTs | LTK.Decide.PT, LTK.DecideS |
| isRDef | LTK.Decide.Definite, LTK.Decide, LTK |
| isRDefM | LTK.Decide.Definite, LTK.DecideM |
| isRDefs | LTK.Decide.Definite, LTK.DecideS |
| isRecognizedBy | LTK.Learn.StringExt |
| isSF | LTK.Decide.SF, LTK.Decide, LTK |
| isSFM | LTK.Decide.SF, LTK.DecideM |
| isSFs | LTK.Decide.SF, LTK.DecideS |
| isSL | LTK.Extract.SL, LTK.Decide.SL, LTK.Decide, LTK |
| isSP | LTK.Extract.SP, LTK.Decide.SP, LTK.Decide, LTK |
| isSSQ | LTK.Extract.SP, LTK.Extract, LTK |
| isSubGOf | LTK.Learn.StringExt |
| isSubsetOf | LTK.Containers, LTK.FSA, LTK |
| isSupersetOf | LTK.Containers, LTK.FSA, LTK |
| isTCofinite | LTK.Decide.Finite, LTK.Decide, LTK |
| isTCofiniteM | LTK.Decide.Finite, LTK.DecideM |
| isTDef | LTK.Decide.Definite, LTK.Decide, LTK |
| isTDefM | LTK.Decide.Definite, LTK.DecideM |
| isTDefs | LTK.Decide.Definite, LTK.DecideS |
| isTFinite | LTK.Decide.Finite, LTK.Decide, LTK |
| isTFiniteM | LTK.Decide.Finite, LTK.DecideM |
| isTGD | LTK.Decide.GD, LTK.Decide, LTK |
| isTGDM | LTK.Decide.GD, LTK.DecideM |
| isTGDs | LTK.Decide.GD, LTK.DecideS |
| isTLAcom | LTK.Decide.TLAcom, LTK.Decide, LTK |
| isTLAcomM | LTK.Decide.TLAcom, LTK.DecideM |
| isTLAcoms | LTK.Decide.TLAcom, LTK.DecideS |
| isTLB | LTK.Decide.B, LTK.Decide, LTK |
| isTLBM | LTK.Decide.B, LTK.DecideM |
| isTLBs | LTK.Decide.B, LTK.DecideS |
| isTLPT | LTK.Decide.TLPT, LTK.Decide, LTK |
| isTLPTM | LTK.Decide.TLPT, LTK.DecideM |
| isTLPTs | LTK.Decide.TLPT, LTK.DecideS |
| isTLT | LTK.Decide.TLT, LTK.Decide, LTK |
| isTLTM | LTK.Decide.TLT, LTK.DecideM |
| isTLTs | LTK.Decide.TLT, LTK.DecideS |
| isTLTT | LTK.Decide.TLTT, LTK.Decide, LTK |
| isTLTTM | LTK.Decide.TLTT, LTK.DecideM |
| isTLTTs | LTK.Decide.TLTT, LTK.DecideS |
| isTRDef | LTK.Decide.Definite, LTK.Decide, LTK |
| isTRDefM | LTK.Decide.Definite, LTK.DecideM |
| isTRDefs | LTK.Decide.Definite, LTK.DecideS |
| isTrivial | LTK.Decide.Trivial, LTK.Decide, LTK |
| isTSL | LTK.Decide.TSL, LTK.Decide, LTK |
| isVariety | LTK.Decide.Variety, LTK.Decide, LTK |
| isVarietyM | LTK.Decide.Variety, LTK.DecideM |