Index - P
| parFst | Data.Type.Conjunction |
| parSnd | Data.Type.Conjunction |
| ppMatrix | Data.Type.Vector |
| ppMatrix' | Data.Type.Vector |
| ppVec | Data.Type.Vector |
| Pred | Type.Family.Nat |
| prj | Data.Type.Sum |
| prjF | Data.Type.Sum |
| Prod | Data.Type.Product |
| Proven | Type.Class.Witness |