| p1 | |
| 1 (Function) | LAoP.Matrix.Internal |
| 2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
| 3 (Function) | LAoP.Matrix.Type |
| 4 (Function) | LAoP.Matrix.Nat |
| p2 | |
| 1 (Function) | LAoP.Matrix.Internal |
| 2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
| 3 (Function) | LAoP.Matrix.Type |
| 4 (Function) | LAoP.Matrix.Nat |
| partialEquivalence | LAoP.Relation.Internal, LAoP.Relation |
| partialOrder | LAoP.Relation.Internal, LAoP.Relation |
| point | LAoP.Relation.Internal, LAoP.Relation |
| pointAp | LAoP.Relation.Internal, LAoP.Relation |
| pointApBool | LAoP.Relation.Internal, LAoP.Relation |
| predR | LAoP.Relation.Internal, LAoP.Relation |
| preorder | LAoP.Relation.Internal, LAoP.Relation |
| pretty | |
| 1 (Function) | LAoP.Matrix.Internal |
| 2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
| 3 (Function) | LAoP.Matrix.Type |
| 4 (Function) | LAoP.Matrix.Nat |
| prettyDist | LAoP.Dist.Internal, LAoP.Dist |
| prettyPrint | |
| 1 (Function) | LAoP.Matrix.Internal |
| 2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
| 3 (Function) | LAoP.Matrix.Type |
| 4 (Function) | LAoP.Matrix.Nat |
| prettyPrintDist | LAoP.Dist.Internal, LAoP.Dist |
| Prob | LAoP.Dist.Internal, LAoP.Dist |
| pt | LAoP.Relation.Internal, LAoP.Relation |