- p -

• PF_APPLY : kinds.h
• PF_HOLE : kinds.h
• PLUS : theory_arith.h
• POP : kinds.h
• POP_SCOPE : kinds.h
• POPTO : kinds.h
• POPTO_SCOPE : kinds.h
• Pos : theory_quant.h
• POSINF : theory_arith.h
• PosNeg : theory_quant.h
• POW : theory_arith.h
• PRESENTATION_LANG : lang.h
• PRINT : kinds.h
• PUSH : kinds.h
• PUSH_SCOPE : kinds.h

---