| Param1 | Language.Embedded.Imperative |
| Param2 | Language.Embedded.Imperative |
| Param3 | Language.Embedded.Imperative |
| params | Language.C.Monad |
| PlusSize | Language.Embedded.Concurrent.CMD, Language.Embedded.Concurrent |
| plusSize | Language.Embedded.Concurrent.CMD, Language.Embedded.Concurrent |
| 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.Frontend.General, Language.Embedded.Imperative |
| 2 (Data Constructor) | Language.Embedded.Imperative.CMD |
| PrintfExp | Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative, Language.Embedded.Imperative |
| PrintfType | Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative |
| Program | Language.Embedded.Imperative |
| ProgramT | Language.Embedded.Imperative |
| prototypes | Language.C.Monad |
| proxyArg | Language.Embedded.Backend.C.Expression, Language.Embedded.Backend.C |
| proxyPred | Language.Embedded.Backend.C.Expression, Language.Embedded.Backend.C |
| Ptr | |
| 1 (Data Constructor) | Language.Embedded.Signature |
| 2 (Type/Class) | Language.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative |
| ptr | Language.Embedded.Signature |
| PtrArg | |
| 1 (Type/Class) | Language.Embedded.Imperative.Args |
| 2 (Data Constructor) | Language.Embedded.Imperative.Args |
| ptrArg | Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative |
| PtrCMD | Language.Embedded.Imperative.CMD, Language.Embedded.Imperative |
| PtrComp | Language.Embedded.Imperative.CMD |
| ptrId | Language.Embedded.Imperative.CMD |
| PtrToArr | Language.Embedded.Imperative.CMD |
| ptrToArr | Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative |