| t | Language.Copilot.Variables |
| t0 | Language.Copilot.Examples.StatExamples |
| t1 | Language.Copilot.Examples.Examples |
| t2 | Language.Copilot.Examples.Examples |
| t3 | Language.Copilot.Examples.Examples |
| t4 | Language.Copilot.Examples.Examples |
| t5 | Language.Copilot.Examples.Examples |
| t99 | Language.Copilot.Examples.Examples |
| tAB | Language.Copilot.Examples.PTLTLExamples |
| tEP | Language.Copilot.Examples.PTLTLExamples |
| test | Language.Copilot.Interface, Language.Copilot |
| testArr | Language.Copilot.Examples.Examples |
| testCoercions | Language.Copilot.Examples.Examples |
| testCoercionsInt | Language.Copilot.Examples.Examples |
| testRules | Language.Copilot.Examples.Examples |
| tMean | Language.Copilot.Examples.StatExamples |
| tmpArrName | Language.Copilot.Core, Language.Copilot |
| tmpArrs | Language.Copilot.Core, Language.Copilot |
| tmpIdxs | Language.Copilot.Core, Language.Copilot |
| TmpSamples | |
| 1 (Type/Class) | Language.Copilot.Core, Language.Copilot |
| 2 (Data Constructor) | Language.Copilot.Core, Language.Copilot |
| tmpSampleStr | Language.Copilot.Compiler, Language.Copilot |
| tmpVarName | Language.Copilot.Core, Language.Copilot |
| tmpVars | Language.Copilot.Core, Language.Copilot |
| tprv | Language.Copilot.Examples.PTLTLExamples |
| trap | Language.Copilot.Examples.Examples |
| triggers | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| True | Language.Copilot.Language, Language.Copilot |
| tSin | Language.Copilot.Examples.PTLTLExamples |
| tSinExt | Language.Copilot.Examples.PTLTLExamples |
| tstdat1Sin | Language.Copilot.Examples.PTLTLExamples |
| tstdat2Sin | Language.Copilot.Examples.PTLTLExamples |
| tstdatAB | Language.Copilot.Examples.PTLTLExamples |
| tstdatEP | Language.Copilot.Examples.PTLTLExamples |
| tstdatprv | Language.Copilot.Examples.PTLTLExamples |
| typeId | Language.Copilot.Core, Language.Copilot |
| typeIdPrec | Language.Copilot.Core, Language.Copilot |