| P | Framework.Lambda.Types, Framework.Lambda |
| p | Framework.Lambda.Convenience, Framework.Lambda |
| Pair | Framework.Lambda.Terms, Framework.Lambda |
| PairFun | |
| 1 (Type/Class) | Framework.Grammar.Lexica.SynSem.Convenience |
| 2 (Data Constructor) | Framework.Grammar.Lexica.SynSem.Convenience |
| ParseAs | |
| 1 (Type/Class) | Framework.Grammar.Parser, Framework.Grammar |
| 2 (Data Constructor) | Framework.Grammar.Parser, Framework.Grammar |
| Phil | Framework.Lambda.Convenience, Framework.Lambda |
| phil | Framework.Lambda.Convenience, Framework.Lambda |
| Pi1 | Framework.Lambda.Terms, Framework.Lambda |
| Pi2 | Framework.Lambda.Terms, Framework.Lambda |
| Pop | Framework.Lambda.Convenience, Framework.Lambda |
| popQ | Framework.Lambda.Convenience, Framework.Lambda |
| PopQUD | Framework.Lambda.Convenience, Framework.Lambda |
| pop_qud | Framework.Lambda.Convenience, Framework.Lambda |
| Pr | Framework.Lambda.Convenience, Framework.Lambda |
| pr | Framework.Lambda.Convenience, Framework.Lambda |
| pRender | Framework.Target.Stan, Framework.Target |
| probabilities | Framework.Lambda.Delta, Framework.Lambda |
| Project | Framework.Grammar.CCG, Framework.Grammar |
| Prop1 | Framework.Lambda.Convenience, Framework.Lambda |
| prop1 | Framework.Lambda.Convenience, Framework.Lambda |
| prop2 | Framework.Lambda.Convenience, Framework.Lambda |
| purePP | Framework.Lambda.Convenience, Framework.Lambda |
| Push | Framework.Lambda.Convenience, Framework.Lambda |
| PushQUD | Framework.Lambda.Convenience, Framework.Lambda |
| push_QUD | Framework.Lambda.Convenience, Framework.Lambda |
| putPP | Framework.Lambda.Convenience, Framework.Lambda |