Index - U
| UF | |
| 1 (Type/Class) | KleenePlugin.TypeEq |
| 2 (Data Constructor) | KleenePlugin.TypeEq |
| UnexpectedEnd | KleenePlugin.Matching |
| UnifResult | KleenePlugin.TypeEq |
| unitEx | Kleene.Type.Examples |
| unitEx' | Kleene.Type.Examples |
| unSWT | KleenePlugin.SWT |
| untaggedSumEx | Kleene.Type.Examples |
| untaggedSumEx' | Kleene.Type.Examples |