Index - P
| Parser | Language.TL.Lexer |
| PartialApp | Language.TL.Types |
| PartialAppDecl | Language.TL.Types |
| partialAppDecl | Language.TL.Parser |
| PartialCombApp | Language.TL.Types |
| PartialCombAppDecl | |
| 1 (Type/Class) | Language.TL.Types |
| 2 (Data Constructor) | Language.TL.Types |
| partialCombAppDecl | Language.TL.Parser |
| PartialTypeApp | Language.TL.Types |
| PartialTypeAppDecl | Language.TL.Types |
| partialTypeAppDecl | Language.TL.Parser |
| Program | Language.TL.Types |
| program | Language.TL.Parser |
| PTerm | Language.TL.Types |