Index - U
| Unary | Language.ATS.Types |
| UnaryF | Language.ATS.Types |
| unATS | Language.ATS.Types |
| Unconsumed | Language.ATS.Types |
| UnconsumedF | Language.ATS.Types |
| Universal | |
| 1 (Type/Class) | Language.ATS.Types |
| 2 (Data Constructor) | Language.ATS.Types |
| universals | Language.ATS.Types |
| universalsI | Language.ATS.Types |
| Unknown | Language.ATS.Parser |
| UnOp | Language.ATS.Types |
| Unqualified | Language.ATS.Types |