Index - P
| params | Language.C.Monad |
| pCType | Language.Embedded.CExp |
| pointed | Language.Embedded.Imperative.CMD |
| prettyCGen | Language.C.Monad |
| prettyCGenT | Language.C.Monad |
| printf | Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative |
| PrintfArg | |
| 1 (Type/Class) | Language.Embedded.Imperative.CMD, Language.Embedded.Imperative |
| 2 (Data Constructor) | Language.Embedded.Imperative.CMD |
| PrintfExp | Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative |
| PrintfType | Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative |
| Program | Language.Embedded.Imperative |
| ProgramT | Language.Embedded.Imperative |
| prototypes | Language.C.Monad |
| Ptr | Language.Embedded.Signature |
| ptr | Language.Embedded.Signature |