para_SList | Data.SOP.Sing , Data.SOP |
POP | |
1 (Type/Class) | Data.SOP.NP , Data.SOP |
2 (Data Constructor) | Data.SOP.NP , Data.SOP |
Prod | Data.SOP.Classes , Data.SOP |
Projection | Data.SOP.NP , Data.SOP |
projections | Data.SOP.NP , Data.SOP |
Proxy | |
1 (Data Constructor) | Data.SOP |
2 (Type/Class) | Data.SOP |
pureAll | Data.SOP.Dict |
pureAll2 | Data.SOP.Dict |
pure_NP | Data.SOP.NP |
pure_POP | Data.SOP.NP |