PageMode | QuickSpec.Internal.Term |
pairValues | QuickSpec.Internal.Type |
parens | QuickSpec.Internal.Term |
Poly | QuickSpec.Internal.Type |
poly | QuickSpec.Internal.Type |
polyApply | QuickSpec.Internal.Type |
polyList | QuickSpec.Internal.Type |
polyMgu | QuickSpec.Internal.Type |
polyPair | QuickSpec.Internal.Type |
polyRename | QuickSpec.Internal.Type |
polyTyp | QuickSpec.Internal.Type |
postfix | QuickSpec.Internal.Term |
pPrint | QuickSpec.Internal.Term |
pPrintEmpty | QuickSpec.Internal.Term |
pPrintList | QuickSpec.Internal.Term |
pPrintPrec | QuickSpec.Internal.Term |
pPrintSet | QuickSpec.Internal.Term |
pPrintTerm | QuickSpec.Internal.Term |
pPrintTuple | QuickSpec.Internal.Term |
pPrintType | QuickSpec.Internal.Type |
predicate | QuickSpec.Internal, QuickSpec |
predicateGen | QuickSpec.Internal, QuickSpec |
prefix | QuickSpec.Internal.Term |
prelude | QuickSpec.Internal, QuickSpec |
Pretty | QuickSpec.Internal.Term |
PrettyLevel | |
1 (Data Constructor) | QuickSpec.Internal.Term |
2 (Type/Class) | QuickSpec.Internal.Term |
prettyNormal | QuickSpec.Internal.Term |
prettyParen | QuickSpec.Internal.Term |
prettyPrint | QuickSpec.Internal.Term |
prettyShow | QuickSpec.Internal.Term |
PrettyTerm | QuickSpec.Internal.Term |
PrintStyle | QuickSpec |
properSubterms | QuickSpec.Internal.Term |
properSubtermsFO | QuickSpec.Internal.Term |
Proxy | |
1 (Data Constructor) | QuickSpec |
2 (Type/Class) | QuickSpec |
PStr | QuickSpec.Internal.Term |
ptext | QuickSpec.Internal.Term |
punctuate | QuickSpec.Internal.Term |