| safeConcatChunk | Language.Nominal.Examples.IdealisedEUTxO |
| safeHead | Language.Nominal.Utilities |
| safeTail | Language.Nominal.Utilities |
| selfapp | Language.Nominal.Examples.SystemF |
| singletonChunk | Language.Nominal.Examples.IdealisedEUTxO |
| SmallChunk | |
| 1 (Type/Class) | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| 2 (Data Constructor) | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| SmallTC | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| SMonad | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| Sub | Language.Nominal.Sub, Language.Nominal |
| sub | Language.Nominal.Sub, Language.Nominal |
| subTxListOf | Language.Nominal.Examples.IdealisedEUTxO |
| suc | Language.Nominal.Examples.SystemF |
| superSucc | Language.Nominal.Properties.UtilitiesSpec |
| supp | Language.Nominal.NameSet, Language.Nominal |
| Support | Language.Nominal.NameSet, Language.Nominal |
| Suspend | Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal |
| Swappable | Language.Nominal.Name, Language.Nominal |
| Swp | Language.Nominal.Examples.Assembly2 |
| swp | Language.Nominal.Name, Language.Nominal |
| swpN | Language.Nominal.Name, Language.Nominal |