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