Index - P
| Paired | Language.ATS |
| ParenExpr | Language.ATS |
| parseATS | Language.ATS |
| Pattern | Language.ATS |
| Plain | Language.ATS |
| PLiteral | Language.ATS |
| Plus | Language.ATS |
| PName | Language.ATS |
| pos | Language.ATS |
| posE | Language.ATS |
| Praxi | Language.ATS |
| Precede | Language.ATS |
| PrecedeList | Language.ATS |
| PreF | Language.ATS |
| PreFunction | Language.ATS |
| preUniversals | Language.ATS |
| preUniversalsI | Language.ATS |
| PrfArg | Language.ATS |
| PrFn | Language.ATS |
| PrFun | Language.ATS |
| printATS | Language.ATS |
| Proof | Language.ATS |
| ProofExpr | Language.ATS |
| ProofImpl | Language.ATS |
| ProofType | Language.ATS |
| prop | Language.ATS |
| PropDef | Language.ATS |
| propE | Language.ATS |
| PrVal | Language.ATS |
| PSum | Language.ATS |