| emptySM | Language.Copilot.Core, Language.Copilot |
| emptyTmpSamples | Language.Copilot.Core, Language.Copilot |
| engine | |
| 1 (Function) | Language.Copilot.Examples.Examples |
| 2 (Function) | Language.Copilot.Examples.PTLTLExamples |
| engineRun | Language.Copilot.Examples.PTLTLExamples |
| Error | Language.Copilot.Analyser, Language.Copilot |
| eventually | Language.Copilot.Libs.LTL |
| eventuallyPrev | Language.Copilot.Libs.PTLTL |
| ExtA | Language.Copilot.Analyser, Language.Copilot |
| extArrB | Language.Copilot.Language, Language.Copilot |
| extArrD | Language.Copilot.Language, Language.Copilot |
| extArrF | Language.Copilot.Language, Language.Copilot |
| extArrI16 | Language.Copilot.Language, Language.Copilot |
| extArrI32 | Language.Copilot.Language, Language.Copilot |
| extArrI64 | Language.Copilot.Language, Language.Copilot |
| extArrI8 | Language.Copilot.Language, Language.Copilot |
| extArrW16 | Language.Copilot.Language, Language.Copilot |
| extArrW32 | Language.Copilot.Language, Language.Copilot |
| extArrW64 | Language.Copilot.Language, Language.Copilot |
| extArrW8 | Language.Copilot.Language, Language.Copilot |
| extB | Language.Copilot.Language, Language.Copilot |
| extD | Language.Copilot.Language, Language.Copilot |
| externalAtomConstructor | Language.Copilot.Core, Language.Copilot |
| extF | Language.Copilot.Language, Language.Copilot |
| extI16 | Language.Copilot.Language, Language.Copilot |
| extI32 | Language.Copilot.Language, Language.Copilot |
| extI64 | Language.Copilot.Language, Language.Copilot |
| extI8 | Language.Copilot.Language, Language.Copilot |
| ExtV | Language.Copilot.Analyser, Language.Copilot |
| ExtVars | Language.Copilot.Analyser, Language.Copilot |
| extW16 | Language.Copilot.Language, Language.Copilot |
| extW32 | Language.Copilot.Language, Language.Copilot |
| extW64 | Language.Copilot.Language, Language.Copilot |
| extW8 | Language.Copilot.Language, Language.Copilot |