Index - P
| parFst | Data.Type.Conjunction |
| parseIxExp | Data.Type.Index.Quote |
| parseIxPat | Data.Type.Index.Quote |
| parseNatExp | Data.Type.Nat.Quote |
| parseNatPat | Data.Type.Nat.Quote |
| parseNatType | Data.Type.Nat.Quote |
| 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.Dual |
| Prod | Data.Type.Product |
| Proven | Type.Class.Witness |