Index - T
| takeIf | Util |
| taut | SAT |
| tautCounterExample | SAT |
| Text | Main |
| tikzFormat | Main |
| tikzifyName | TikzExport |
| toCNF | Propositions |
| toCNFClauseList | Propositions |
| toDNFClauseList | Propositions |
| toFeature | Feature |
| toInt | UUID |
| toIntCNF | SAT |
| toNNF | Propositions |
| toset | Tree |
| Trace | Main |
| TraceDisplay | Main |
| traceDisplay | Main |
| TraceOnly | Edits |
| TraceStyle | Main |
| traceStyle | Main |
| Tree | |
| 1 (Type/Class) | Tree |
| 2 (Data Constructor) | Tree |
| tree | Tree |