| packm | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| Packs | |
| 1 (Type/Class) | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| 2 (Data Constructor) | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| PageMode | Text.PrettyPrint.HughesPJ.Compat |
| pair | Language.Fixpoint.Misc |
| pairP | Language.Fixpoint.Parse |
| PAll | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| PAnd | |
| 1 (Data Constructor) | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| 2 (Data Constructor) | Language.Fixpoint.Horn.Types |
| pAnd | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| panic | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| panicSpan | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| params | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| parens | |
| 1 (Function) | Text.PrettyPrint.HughesPJ.Compat |
| 2 (Function) | Language.Fixpoint.Parse |
| parseFInfo | Language.Fixpoint.Solver |
| parseFromFile | Language.Fixpoint.Parse |
| Parser | Language.Fixpoint.Parse |
| Part | Language.Fixpoint.Utils.Files |
| partition | Language.Fixpoint.Graph.Partition, Language.Fixpoint.Graph |
| partition' | Language.Fixpoint.Graph.Partition, Language.Fixpoint.Graph |
| partitionN | Language.Fixpoint.Graph.Partition, Language.Fixpoint.Graph |
| parts | Language.Fixpoint.Types.Config |
| PAss | Language.Fixpoint.Utils.Files |
| PatExact | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| PatNone | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| PAtom | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| PatPrefix | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| PatSuffix | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| pcm | Language.Fixpoint.Graph.Partition, Language.Fixpoint.Graph |
| PExist | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| pExist | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| PFalse | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| pGAnd | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| pGAnds | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| PGrad | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| PIff | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| PImp | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| pIte | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| PKVar | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| PLE | Language.Fixpoint.Solver.Rewrite |
| Plus | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| PNot | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| Pop | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| pop | Language.Fixpoint.Solver.Worklist |
| POr | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| pOr | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| powerset | Language.Fixpoint.Misc |
| PPrint | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| pprint | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| pprintKVs | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| pprintPrec | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| pprintReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| pprintTidy | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| ppTy | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| preamble | Language.Fixpoint.Smt.Theories |
| Pred | |
| 1 (Data Constructor) | Language.Fixpoint.Utils.Files |
| 2 (Type/Class) | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| 3 (Type/Class) | Language.Fixpoint.Horn.Types |
| Predicate | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| predP | Language.Fixpoint.Parse |
| predReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| preludeName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| prims | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| progressClose | Language.Fixpoint.Utils.Progress |
| progressInit | Language.Fixpoint.Utils.Progress |
| progressTick | Language.Fixpoint.Utils.Progress |
| prop | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| propConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| propReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| pruneUnsortedReft | Language.Fixpoint.SortCheck |
| PState | |
| 1 (Type/Class) | Language.Fixpoint.Parse |
| 2 (Data Constructor) | Language.Fixpoint.Parse |
| PStr | Text.PrettyPrint.HughesPJ.Compat |
| PTable | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| ptable | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| ptext | Text.PrettyPrint.HughesPJ.Compat |
| PTop | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| PTrue | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| punctuate | Text.PrettyPrint.HughesPJ.Compat |
| Push | Language.Fixpoint.Smt.Types, Language.Fixpoint.Smt.Interface |
| push | Language.Fixpoint.Solver.Worklist |
| putBlankLn | Language.Fixpoint.Misc |
| pws | Language.Fixpoint.Graph.Partition, Language.Fixpoint.Graph |