Index - P
| pairEx | Kleene.Type.Examples |
| pairEx' | Kleene.Type.Examples |
| plugin | KleenePlugin |
| pprMono | KleenePlugin.TypeEq |
| pprMono' | KleenePlugin.TypeEq |
| Proof | KleenePlugin.Types |
| ProofA | KleenePlugin.Types |
| ProofC | KleenePlugin.Types |
| ProofE | KleenePlugin.Types |
| ProofL | KleenePlugin.Types |
| ProofN | KleenePlugin.Types |
| ProofR | KleenePlugin.Types |
| proofStr | KleenePlugin.Types |
| ProofT | KleenePlugin.Types |
| proofTy | KleenePlugin.Types |
| ProofV | KleenePlugin.Types |