| Abs | Language.Nominal.Abs, Language.Nominal |
| absFresh | Language.Nominal.Abs, Language.Nominal |
| absFresh' | Language.Nominal.Abs, Language.Nominal |
| absFuncOut | Language.Nominal.Abs, Language.Nominal |
| absLabel | Language.Nominal.Abs, Language.Nominal |
| abst | Language.Nominal.Abs, Language.Nominal |
| abst' | Language.Nominal.Abs, Language.Nominal |
| absToNom | Language.Nominal.Abs, Language.Nominal |
| Add | |
| 1 (Data Constructor) | Language.Nominal.Examples.Assembly2 |
| 2 (Data Constructor) | Language.Nominal.Examples.Assembly1 |
| All | Language.Nominal.Examples.SystemF |
| apart | Language.Nominal.NameSet, Language.Nominal |
| App | Language.Nominal.Examples.SystemF |
| appendTxChunk | Language.Nominal.Examples.IdealisedEUTxO |
| appendTxMaybeChunk | Language.Nominal.Examples.IdealisedEUTxO |
| arbitrarySizedTrm | Language.Nominal.Properties.SpecUtilities |
| arbitrarySizedTyp | Language.Nominal.Properties.SpecUtilities |
| Atom | |
| 1 (Type/Class) | Language.Nominal.Name, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Name, Language.Nominal |
| atomPoint | Language.Nominal.NameSet, Language.Nominal |
| ATrm | Language.Nominal.Examples.SystemF |
| atTom | Language.Nominal.Name, Language.Nominal |
| atValFin | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| atValTriv | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| ATyp | Language.Nominal.Examples.SystemF |