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 |