Index - U
| unfuse | Language.Nominal.Abs, Language.Nominal |
| unifiablePerm | Language.Nominal.Unify, Language.Nominal |
| UnifyPerm | Language.Nominal.Unify, Language.Nominal |
| unifyPerm | Language.Nominal.Unify, Language.Nominal |
| Unique | Language.Nominal.Unique |
| unNom | Language.Nominal.Nom, Language.Nominal |
| unRen | Language.Nominal.Unify, Language.Nominal |
| unsafeSingletonChunk | Language.Nominal.Examples.IdealisedEUTxO |
| utxcsOfChunk | Language.Nominal.Examples.IdealisedEUTxO |
| utxisOfChunk | Language.Nominal.Examples.IdealisedEUTxO |
| utxosOfChunk | Language.Nominal.Examples.IdealisedEUTxO |