Index - F
| fails | Utils |
| findAllReversibleCats | CF |
| firstCat | CF |
| firstEntry | CF |
| fixCoercions | NamedVariables |
| fixOnes | NamedVariables |
| fixType | OCamlUtil |
| fixTypeUpper | OCamlUtil |
| flattenSignatures | CSharpUtils |
| Fun | CF |
| Function | AbsBNF |
| FunDef | CF |
| FunP | CF |
| funRule | CF |
| funRuleP | CF |
| FunT | TypeChecker |