| accepts | LTK.FSA, LTK | 
| acyclicPaths | LTK.Traversals, LTK | 
| allS | LTK.Containers, LTK.FSA, LTK | 
| alphabet | LTK.Containers, LTK.FSA, LTK | 
| anyS | LTK.Containers, LTK.FSA, LTK | 
| ATT |  | 
| 1 (Type/Class) | LTK.Porters, LTK | 
| 2 (Data Constructor) | LTK.Porters, LTK | 
| attestedAlphabet | LTK.Extract.SP, LTK.Extract, LTK | 
| attestedUnits | LTK.Extract.SL, LTK.Extract, LTK | 
| ATTO |  | 
| 1 (Type/Class) | LTK.Porters, LTK | 
| 2 (Data Constructor) | LTK.Porters, LTK | 
| augmentG | LTK.Learn.StringExt | 
| augmentSE | LTK.Learn.StringExt | 
| autDifference | LTK.FSA, LTK | 
| autInfiltration | LTK.FSA, LTK | 
| autShuffle | LTK.FSA, LTK | 
| autStrictOrderOverlay | LTK.FSA, LTK | 
| both | LTK.Containers, LTK.FSA, LTK | 
| boundedCycleExtensions | LTK.Traversals, LTK | 
| brzozowskiDerivative | LTK.FSA, LTK | 
| build | LTK.Factors, LTK | 
| buildFSA | LTK.Extract.SL, LTK.Extract, LTK | 
| buildLiteral | LTK.Factors, LTK | 
| choose | LTK.Containers, LTK.FSA, LTK | 
| chooseOne | LTK.Containers, LTK.FSA, LTK | 
| collapse | LTK.Containers, LTK.FSA, LTK | 
| Collapsible | LTK.Containers, LTK.FSA, LTK | 
| commonPrefix | LTK.FSA, LTK | 
| commonSuffix | LTK.FSA, LTK | 
| compileEnv | LTK.Porters.Pleb | 
| complement | LTK.FSA, LTK | 
| complementDeterministic | LTK.FSA, LTK | 
| comTest | LTK.Decide.Acom | 
| Conjunction |  | 
| 1 (Type/Class) | LTK.Factors, LTK | 
| 2 (Data Constructor) | LTK.Factors, LTK | 
| Container | LTK.Containers, LTK.FSA, LTK | 
| contains | LTK.Containers, LTK.FSA, LTK | 
| contractAlphabetTo | LTK.FSA, LTK | 
| coresidue | LTK.FSA, LTK | 
| Corpus |  | 
| 1 (Type/Class) | LTK.Porters, LTK | 
| 2 (Data Constructor) | LTK.Porters, LTK | 
| DecreasingSize |  | 
| 1 (Type/Class) | LTK.Containers, LTK.FSA, LTK | 
| 2 (Data Constructor) | LTK.Containers, LTK.FSA, LTK | 
| depth | LTK.Traversals, LTK | 
| desemantify | LTK.FSA, LTK | 
| destination | LTK.FSA, LTK | 
| determinize | LTK.FSA, LTK | 
| Dictionary | LTK.Porters.Pleb | 
| difference | LTK.Containers, LTK.FSA, LTK | 
| discardOne | LTK.Containers, LTK.FSA, LTK | 
| Disjunction |  | 
| 1 (Type/Class) | LTK.Factors, LTK | 
| 2 (Data Constructor) | LTK.Factors, LTK | 
| doesNotContain | LTK.Containers, LTK.FSA, LTK | 
| doParse | LTK.Porters.Pleb | 
| doStatements | LTK.Porters.Pleb | 
| doStatementsWithError | LTK.Porters.Pleb | 
| Dot |  | 
| 1 (Type/Class) | LTK.Porters, LTK | 
| 2 (Data Constructor) | LTK.Porters, LTK | 
| edgeLabel | LTK.FSA, LTK | 
| EggBox |  | 
| 1 (Type/Class) | LTK.Porters, LTK | 
| 2 (Data Constructor) | LTK.Porters, LTK | 
| embedSymbolsATT | LTK.Porters.ATT | 
| emblock | LTK.Algebra | 
| emee | LTK.Algebra | 
| empty | LTK.Containers, LTK.FSA, LTK | 
| emptyG | LTK.Learn.StringExt | 
| emptyLanguage | LTK.FSA, LTK | 
| emptyWithAlphabet | LTK.FSA, LTK | 
| endstate | LTK.Traversals, LTK | 
| Env | LTK.Porters.Pleb | 
| Epsilon | LTK.FSA, LTK | 
| ese | LTK.Algebra | 
| Exportable | LTK.Porters, LTK | 
| exportATT | LTK.Porters.ATT | 
| Expr | LTK.Porters.Pleb | 
| extendAlphabetTo | LTK.FSA, LTK | 
| extensions | LTK.Traversals, LTK | 
| extractMonotonic | LTK.Containers, LTK.FSA, LTK | 
| extractSymbolsATT | LTK.Porters.ATT | 
| Factor | LTK.Factors, LTK | 
| factorsFromPaths | LTK.Extract.SL, LTK.Extract, LTK | 
| Final | LTK.Extract.SL, LTK.Extract, LTK | 
| finalPaths | LTK.Extract.SL, LTK.Extract, LTK | 
| finals | LTK.FSA, LTK | 
| flatInfiltration | LTK.FSA, LTK | 
| flatIntersection | LTK.FSA, LTK | 
| flatShuffle | LTK.FSA, LTK | 
| flatUnion | LTK.FSA, LTK | 
| follow | LTK.FSA, LTK | 
| forbidden | LTK.Factors, LTK | 
| forbiddenFinals | LTK.Extract.SL, LTK.Extract, LTK | 
| forbiddenFrees | LTK.Extract.SL, LTK.Extract, LTK | 
| forbiddenInitials | LTK.Extract.SL, LTK.Extract, LTK | 
| ForbiddenPaths |  | 
| 1 (Type/Class) | LTK.Extract.SL, LTK.Extract, LTK | 
| 2 (Data Constructor) | LTK.Extract.SL, LTK.Extract, LTK | 
| ForbiddenSubsequences |  | 
| 1 (Type/Class) | LTK.Extract.SP, LTK.Extract, LTK | 
| 2 (Data Constructor) | LTK.Extract.SP, LTK.Extract, LTK | 
| forbiddenSubsequences | LTK.Extract.SP, LTK.Extract, LTK | 
| ForbiddenSubstrings |  | 
| 1 (Type/Class) | LTK.Extract.SL, LTK.Extract, LTK | 
| 2 (Data Constructor) | LTK.Extract.SL, LTK.Extract, LTK | 
| forbiddenSubstrings | LTK.Extract.SL, LTK.Extract, LTK | 
| forbiddenTierSubstrings | LTK.Extract.TSL, LTK.Extract, LTK | 
| forbiddenWords | LTK.Extract.SL, LTK.Extract, LTK | 
| forceAlphabetTo | LTK.FSA, LTK | 
| formatSet | LTK.Porters, LTK | 
| Free | LTK.Extract.SL, LTK.Extract, LTK | 
| freePaths | LTK.Extract.SL, LTK.Extract, LTK | 
| from | LTK.Porters, LTK | 
| fromAutomaton | LTK.Porters.Pleb | 
| fromCollapsible | LTK.Containers, LTK.FSA, LTK | 
| fromE | LTK.Porters, LTK | 
| fromFSA | LTK.Porters, LTK | 
| fromSemanticAutomaton | LTK.Porters.Pleb | 
| FSA |  | 
| 1 (Type/Class) | LTK.FSA, LTK | 
| 2 (Data Constructor) | LTK.FSA, LTK | 
| fsaFromForbiddenSubsequences | LTK.Extract.SP, LTK.Extract, LTK | 
| fSL | LTK.Learn.SL | 
| fSP | LTK.Learn.SP | 
| fTSL |  | 
| 1 (Function) | LTK.Learn.TSL.AugmentedSubsequences | 
| 2 (Function) | LTK.Learn.TSL.ViaSL, LTK.Learn.TSL | 
| genFSA | LTK.Learn.StringExt | 
| getDecreasing | LTK.Containers, LTK.FSA, LTK | 
| getIncreasing | LTK.Containers, LTK.FSA, LTK | 
| getSubsequences | LTK.Extract.SP, LTK.Extract, LTK | 
| Grammar | LTK.Learn.StringExt | 
| groundEnv | LTK.Porters.Pleb | 
| groupBy | LTK.Containers, LTK.FSA, LTK | 
| HasAlphabet | LTK.Containers, LTK.FSA, LTK | 
| headAnchored | LTK.Factors, LTK | 
| hEquivalence | LTK.FSA, LTK | 
| 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 | 
| isJoinVariety | LTK.Decide.JoinVariety, LTK.Decide, LTK | 
| isJoinVarietyJS | LTK.Decide.JoinVariety | 
| 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 | 
| isMJoinVariety | LTK.Decide.JoinVariety, LTK.Decide, LTK | 
| 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 | 
| isSPL | LTK.Decide.SPL, LTK.Decide, LTK | 
| isSPLM | LTK.Decide.SPL, LTK.DecideM | 
| isSPLs | LTK.Decide.SPL, LTK.DecideS | 
| 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 | 
| Jeff |  | 
| 1 (Type/Class) | LTK.Porters, LTK | 
| 2 (Data Constructor) | LTK.Porters, LTK | 
| jEquivalence | LTK.FSA, LTK | 
| JSemigroup | LTK.FSA, LTK | 
| keep | LTK.Containers, LTK.FSA, LTK | 
| kleeneClosure | LTK.FSA, LTK | 
| labels | LTK.Traversals, LTK | 
| learn | LTK.Learn.StringExt | 
| Linearizable | LTK.Containers, LTK.FSA, LTK | 
| Literal |  | 
| 1 (Type/Class) | LTK.Factors, LTK | 
| 2 (Data Constructor) | LTK.Factors, LTK | 
| loopify | LTK.FSA, LTK | 
| makeAutomaton | LTK.Porters.Pleb | 
| makeAutomatonE | LTK.Porters.Pleb | 
| makeConstraint | LTK.Factors, LTK | 
| me | LTK.Algebra | 
| minimize | LTK.FSA, LTK | 
| minimizeDeterministic | LTK.FSA, LTK | 
| minimizeOver | LTK.FSA, LTK | 
| multiplicities | LTK.Containers, LTK.FSA, LTK | 
| multiplicity | LTK.Containers, LTK.FSA, LTK | 
| Multiset | LTK.Containers, LTK.FSA, LTK | 
| multisetFromList | LTK.Containers, LTK.FSA, LTK | 
| nerode | LTK.FSA, LTK | 
| neutralize | LTK.FSA, LTK | 
| nodeLabel | LTK.FSA, LTK | 
| nondeterministicAcyclicExtensions | LTK.Traversals, LTK | 
| normalize | LTK.FSA, LTK | 
| omega | LTK.Algebra | 
| orderGraph | LTK.FSA, LTK | 
| pAcom | LTK.Parameters | 
| Parameter | LTK.Parameters | 
| Parse |  | 
| 1 (Type/Class) | LTK.Porters.Pleb | 
| 2 (Data Constructor) | LTK.Porters.Pleb | 
| parseExpr | LTK.Porters.Pleb | 
| partitionBy | LTK.Containers, LTK.FSA, LTK | 
| Path |  | 
| 1 (Type/Class) | LTK.Traversals, LTK | 
| 2 (Data Constructor) | LTK.Traversals, LTK | 
| pCB | LTK.Parameters | 
| pDef | LTK.Parameters | 
| pGDef | LTK.Parameters | 
| PInt | LTK.Parameters | 
| Pleb |  | 
| 1 (Type/Class) | LTK.Porters, LTK | 
| 2 (Data Constructor) | LTK.Porters, LTK | 
| powersetGraph | LTK.FSA, LTK | 
| pRDef | LTK.Parameters | 
| primitiveIdeal2 | LTK.FSA, LTK | 
| primitiveIdealL | LTK.FSA, LTK | 
| primitiveIdealR | LTK.FSA, LTK | 
| project | LTK.Tiers, LTK | 
| pSL | LTK.Parameters | 
| pSP | LTK.Parameters | 
| PSymSet | LTK.Parameters | 
| pTier | LTK.Parameters | 
| quotLeft | LTK.FSA, LTK | 
| quotMid | LTK.FSA, LTK | 
| quotRight | LTK.FSA, LTK | 
| readATT | LTK.Porters.ATT | 
| readCorpus | LTK.Porters.Corpus | 
| readPleb | LTK.Porters.Pleb | 
| refinePartitionBy | LTK.Containers, LTK.FSA, LTK | 
| rejectingPaths | LTK.Traversals, LTK | 
| renameStates | LTK.FSA, LTK | 
| renameStatesBy | LTK.FSA, LTK | 
| renameSymbolsBy | LTK.FSA, LTK | 
| renameSymbolsByMonotonic | LTK.FSA, LTK | 
| required | LTK.Factors, LTK | 
| residue | LTK.FSA, LTK | 
| restoreUniverse | LTK.Porters.Pleb | 
| restrictUniverse | LTK.Porters.Pleb | 
| reverse | LTK.FSA, LTK | 
| scc | LTK.FSA, LTK | 
| sccGraph | LTK.FSA, LTK | 
| semanticallyExtendAlphabetTo | LTK.FSA, LTK | 
| sequencesOver | LTK.Containers, LTK.FSA, LTK | 
| setFromMultiset | LTK.Containers, LTK.FSA, LTK | 
| sigma | LTK.FSA, LTK | 
| singleton | LTK.Containers, LTK.FSA, LTK | 
| singletonLanguage | LTK.FSA, LTK | 
| singletonWithAlphabet | LTK.FSA, LTK | 
| size | LTK.Containers, LTK.FSA, LTK | 
| SLG |  | 
| 1 (Type/Class) | LTK.Learn.SL | 
| 2 (Data Constructor) | LTK.Learn.SL | 
| slg | LTK.Learn.SL | 
| slgAlpha | LTK.Learn.SL | 
| slgK | LTK.Learn.SL | 
| slQ | LTK.Extract.SL, LTK.Extract, LTK | 
| source | LTK.FSA, LTK | 
| SPG | LTK.Learn.SP | 
| State |  | 
| 1 (Type/Class) | LTK.FSA, LTK | 
| 2 (Data Constructor) | LTK.FSA, LTK | 
| stateMultiset | LTK.Traversals, LTK | 
| states | LTK.FSA, LTK | 
| Subsequence | LTK.Factors, LTK | 
| subsequenceClosure | LTK.Extract.SP, LTK.Extract, LTK | 
| Substring | LTK.Factors, LTK | 
| substring | LTK.Factors, LTK | 
| Symbol |  | 
| 1 (Type/Class) | LTK.FSA, LTK | 
| 2 (Data Constructor) | LTK.FSA, LTK | 
| symmetricDifference | LTK.Containers, LTK.FSA, LTK | 
| SymSet | LTK.Porters.Pleb | 
| SynMon | LTK.Algebra | 
| syntacticJSemigroup | LTK.FSA, LTK | 
| syntacticMonoid | LTK.FSA, LTK | 
| syntacticOMonoid | LTK.FSA, LTK | 
| SyntacticOrder |  | 
| 1 (Type/Class) | LTK.Porters, LTK | 
| 2 (Data Constructor) | LTK.Porters, LTK | 
| syntacticOrder | LTK.Algebra | 
| syntacticOSemigroup | LTK.FSA, LTK | 
| syntacticSemigroup | LTK.FSA, LTK | 
| SyntacticSemilattice |  | 
| 1 (Type/Class) | LTK.Porters, LTK | 
| 2 (Data Constructor) | LTK.Porters, LTK | 
| syntacticSemilattice | LTK.FSA, LTK | 
| TaggedSubstring | LTK.Extract.SL, LTK.Extract, LTK | 
| tailAnchored | LTK.Factors, LTK | 
| tier | LTK.Tiers, LTK | 
| tierify | LTK.FSA, LTK | 
| tmap | LTK.Containers, LTK.FSA, LTK | 
| to | LTK.Porters, LTK | 
| toFSA | LTK.Porters, LTK | 
| Token | LTK.Porters.Pleb | 
| tokenize | LTK.Porters.Pleb | 
| totalWithAlphabet | LTK.FSA, LTK | 
| tr | LTK.Containers, LTK.FSA, LTK | 
| Transition |  | 
| 1 (Type/Class) | LTK.FSA, LTK | 
| 2 (Data Constructor) | LTK.FSA, LTK | 
| transitions | LTK.FSA, LTK | 
| transliterate | LTK.Porters, LTK | 
| transliterateString | LTK.Porters, LTK | 
| trimUnreachables | LTK.FSA, LTK | 
| trivialUnder | LTK.FSA, LTK | 
| TSLG |  | 
| 1 (Type/Class) | LTK.Learn.TSL.AugmentedSubsequences | 
| 2 (Type/Class) | LTK.Learn.TSL.ViaSL, LTK.Learn.TSL | 
| Type | LTK.Porters, LTK | 
| union | LTK.Containers, LTK.FSA, LTK | 
| unionAll | LTK.Containers, LTK.FSA, LTK | 
| unsymbols | LTK.FSA, LTK | 
| untransliterate | LTK.Porters, LTK | 
| untransliterateString | LTK.Porters, LTK | 
| Word | LTK.Extract.SL, LTK.Extract, LTK | 
| word | LTK.Traversals, LTK | 
| zsize | LTK.Containers, LTK.FSA, LTK |