Index - U
| unAll2 | Data.SOP.Dict |
| unAll_NP | Data.SOP.Dict |
| unAll_POP | Data.SOP.Dict |
| unComp | Data.SOP.BasicFunctors, Data.SOP |
| unI | Data.SOP.BasicFunctors, Data.SOP |
| unK | Data.SOP.BasicFunctors, Data.SOP |
| unPOP | Data.SOP.NP, Data.SOP |
| UnProd | Data.SOP.Classes, Data.SOP |
| unSOP | Data.SOP.NS, Data.SOP |
| unZ | Data.SOP.NS, Data.SOP |