Index - U
| uncurry | Copilot.Language.Prelude, Copilot.Language |
| undefined | Copilot.Language.Prelude, Copilot.Language |
| Universal | Copilot.Language.Spec |
| unlines | Copilot.Language.Prelude, Copilot.Language |
| UnsafeCast | Copilot.Language.Operators.Cast, Copilot.Language |
| unsafeCast | Copilot.Language.Operators.Cast, Copilot.Language |
| unwords | Copilot.Language.Prelude, Copilot.Language |
| unzip | Copilot.Language.Prelude, Copilot.Language |
| unzip3 | Copilot.Language.Prelude, Copilot.Language |
| userError | Copilot.Language.Prelude, Copilot.Language |
| UType | |
| 1 (Type/Class) | Copilot.Language |
| 2 (Data Constructor) | Copilot.Language |
| uTypeType | Copilot.Language |