Index - P
| ParamPred | Data.Type.Predicate.Param |
| pickElem | Data.Type.Universe |
| PMap | Data.Type.Predicate |
| PPMap | Data.Type.Predicate.Param |
| PPMapV | Data.Type.Predicate.Param |
| Predicate | Data.Type.Predicate |
| prodAll | Data.Type.Universe |
| projAndFst | Data.Type.Predicate.Logic |
| projAndSnd | Data.Type.Predicate.Logic |
| Provable | Data.Type.Predicate |
| ProvableTC | Data.Type.Predicate |
| Prove | Data.Type.Predicate |
| prove | Data.Type.Predicate |
| Proved | Data.Type.Predicate |
| proveImplies | Data.Type.Predicate.Logic |
| proveTC | Data.Type.Predicate |