| Fixable | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| fixChunkToBlockchain | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| fixOutput | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| freshAtom | Language.Nominal.Nom, Language.Nominal |
| freshAtomIO | Language.Nominal.Name, Language.Nominal |
| freshAtoms | Language.Nominal.Nom, Language.Nominal |
| freshAtomsIO | Language.Nominal.Name, Language.Nominal |
| freshen | Language.Nominal.Binder, Language.Nominal |
| freshFor | Language.Nominal.Binder, Language.Nominal |
| freshForA | Language.Nominal.Binder, Language.Nominal |
| freshKAtom | Language.Nominal.Nom, Language.Nominal |
| freshKAtomIO | Language.Nominal.Name, Language.Nominal |
| freshKAtoms | Language.Nominal.Nom, Language.Nominal |
| freshKAtomsIO | Language.Nominal.Name, Language.Nominal |
| freshKName | Language.Nominal.Nom, Language.Nominal |
| freshKNames | Language.Nominal.Nom, Language.Nominal |
| freshName | Language.Nominal.Nom, Language.Nominal |
| freshNames | Language.Nominal.Nom, Language.Nominal |
| fromEvFinMap | Language.Nominal.Equivar, Language.Nominal |
| fromValidTx | Language.Nominal.Properties.Examples.IdealisedEUTxOSpec |
| fuse | Language.Nominal.Abs, Language.Nominal |