- p -

• ParamDescrs_DRQ : Context
• ParameterDescriptions : Fixedpoint , Solver , Tactic , Optimize
• ParameterKind : FuncDecl.Parameter
• Parameters : FuncDecl , Optimize , Solver , Fixedpoint
• Params_DRQ : Context
• Patterns : Quantifier
• Precision : Goal
• PrintMode : Context
• Probe_DRQ : Context
• ProbeNames : Context
• Proof : Solver