Index - U
| unAll2 | Generics.SOP.Dict |
| unAll_NP | Generics.SOP.Dict |
| unAll_POP | Generics.SOP.Dict |
| unComp | Generics.SOP.BasicFunctors, Generics.SOP |
| unI | Generics.SOP.BasicFunctors, Generics.SOP |
| unK | Generics.SOP.BasicFunctors, Generics.SOP |
| unPOP | Generics.SOP.NP, Generics.SOP |
| unSOP | Generics.SOP.NS, Generics.SOP |