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 |