| FAbs | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| falseReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| FApp | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| fApp | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| fAppTC | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| fassoc | Language.Fixpoint.Parse |
| FastIdx | Language.Fixpoint.Types.Solutions |
| FC | Language.Fixpoint.Solver.PLE |
| fcat | Text.PrettyPrint.HughesPJ.Compat |
| fcMap | Language.Fixpoint.Solver.PLE |
| fcMax | Language.Fixpoint.Solver.PLE |
| FFrac | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| FFunc | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| FI | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| fi | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| Field | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| filterBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| filterIBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| filterRequired | Language.Fixpoint.Solver.Monad |
| filterSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| filterSubst | Language.Fixpoint.Types.Substitutions, Language.Fixpoint.Types |
| filterUnMatched | Language.Fixpoint.Types.Templates, Language.Fixpoint.Types |
| filterValid | Language.Fixpoint.Solver.Monad |
| filterValidGradual | Language.Fixpoint.Solver.Monad |
| findNearest | Language.Fixpoint.Misc |
| FInfix | Language.Fixpoint.Parse |
| FInfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| FInfoWithOpts | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| FInt | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| FIO | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| fioFI | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| fioOpts | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| firstMaybe | Language.Fixpoint.Misc |
| Fixity | Language.Fixpoint.Parse |
| fixityOps | Language.Fixpoint.Parse |
| fixityTable | Language.Fixpoint.Parse |
| Fixpoint | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| FixResult | Language.Fixpoint.Types.Errors, Language.Fixpoint.Types |
| FixSolution | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| flatten | Language.Fixpoint.Horn.Transformations |
| flattenRefas | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| float | Text.PrettyPrint.HughesPJ.Compat |
| fM | Language.Fixpoint.Misc |
| fname | Language.Fixpoint.Parse |
| FNum | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| FObj | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| fObj | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| fold | |
| 1 (Function) | Language.Fixpoint.Utils.Trie |
| 2 (Function) | Language.Fixpoint.Types.Visitor |
| fold1M | Language.Fixpoint.Misc |
| foldDataDecl | Language.Fixpoint.Types.Visitor |
| foldM | Language.Fixpoint.Utils.Trie |
| foldSort | Language.Fixpoint.Types.Visitor |
| fop1 | Language.Fixpoint.Parse |
| fop2 | Language.Fixpoint.Parse |
| Found | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| FPostfix | Language.Fixpoint.Parse |
| fpred | Language.Fixpoint.Parse |
| FPrefix | Language.Fixpoint.Parse |
| Fq | Language.Fixpoint.Utils.Files |
| FReal | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| freshIntP | Language.Fixpoint.Parse |
| fromList | |
| 1 (Function) | Language.Fixpoint.Utils.Trie |
| 2 (Function) | Language.Fixpoint.Types.Solutions |
| fromListBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| fromListIBindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| fromListSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| fromMapSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| fromString | Language.Fixpoint.Utils.Builder |
| fromText | Language.Fixpoint.Utils.Builder |
| fsep | Text.PrettyPrint.HughesPJ.Compat |
| fst3 | Language.Fixpoint.Misc |
| FTC | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| FTycon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| fTyconSelfSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| fTyconSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| fTyconSymbol | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| fuel | Language.Fixpoint.Types.Config |
| FuelCount | Language.Fixpoint.Solver.PLE |
| Full | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| fullRender | Text.PrettyPrint.HughesPJ.Compat |
| funAppP | Language.Fixpoint.Parse |
| funConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| funcSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| functionSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| FVar | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |