Index - P
| PA | PureSAT.PartialAssignment |
| PartialAssignment | PureSAT.PartialAssignment |
| popSparseHeap | PureSAT.SparseMaxHeap |
| popSparseHeap_ | PureSAT.SparseMaxHeap |
| popSparseSet | PureSAT.SparseSet |
| popSparseSet_ | PureSAT.SparseSet |
| popTrail | PureSAT.Trail |
| Prim | PureSAT.Prim |
| PrimArray | |
| 1 (Type/Class) | PureSAT.Prim |
| 2 (Data Constructor) | PureSAT.Prim |
| primArrayFromList | PureSAT.Prim |
| primArrayToList | PureSAT.Prim |
| pushTrail | PureSAT.Trail |