| a | Language.Copilot.Variables |
| abs | Language.Copilot.Language |
| AllSpecSet | Language.Copilot.Analyser, Language.Copilot |
| always | Language.Copilot.Libs.LTL, Language.Copilot |
| alwaysBeen | Language.Copilot.Libs.PTLTL, Language.Copilot |
| Append | Language.Copilot.Core, Language.Copilot |
| atomConstructor | Language.Copilot.Core, Language.Copilot |
| AtomToC |
| 1 (Type/Class) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| 2 (Data Constructor) | Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot |
| atomType | Language.Copilot.Core, Language.Copilot |
