Index - F
| f1 | Term.Builtin.Convenience |
| f2 | Term.Builtin.Convenience |
| f3 | Term.Builtin.Convenience |
| f4 | Term.Builtin.Convenience |
| f5 | Term.Builtin.Convenience |
| f6 | Term.Builtin.Convenience |
| f7 | Term.Builtin.Convenience |
| f8 | Term.Builtin.Convenience |
| f9 | Term.Builtin.Convenience |
| factorSubstVia | Term.Subsumption |
| FAPP | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| FApp | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fApp | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppAC | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| FAppC | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppC | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppDiff | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppEMap | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppExp | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppFst | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppInv | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppList | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| FAppNoEq | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppNoEq | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppOne | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppPair | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppPMult | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppSnd | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| FDiff | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| FEMap | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| FExp | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| FInv | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| flattenMatch | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| FList | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fmapTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| FMult | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| foldBVar | Term.LTerm, Term.Substitution, Term.Unification |
| foldFrees | Term.LTerm, Term.Substitution, Term.Unification |
| foldFreesOcc | Term.LTerm, Term.Substitution, Term.Unification |
| FPair | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| FPMult | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| Free | Term.LTerm, Term.Substitution, Term.Unification |
| frees | Term.LTerm, Term.Substitution, Term.Unification |
| freesList | Term.LTerm, Term.Substitution, Term.Unification |
| freeToFreshRaw | Term.Substitution, Term.Unification |
| freshLVar | Term.LTerm, Term.Substitution, Term.Unification |
| FreshName | Term.LTerm, Term.Substitution, Term.Unification |
| freshTerm | Term.LTerm, Term.Substitution, Term.Unification |
| freshToFree | Term.Substitution, Term.Unification |
| freshToFreeAvoiding | Term.Substitution, Term.Unification |
| freshToFreeAvoidingFast | Term.Substitution, Term.Unification |
| FreshVar | Term.Maude.Types |
| freshVar | Term.Builtin.Convenience |
| fromFree | Term.LTerm, Term.Substitution, Term.Unification |
| FUnion | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| FunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| FunSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| funSyms | Term.Maude.Signature, Term.Unification |
| fx0 | Term.Builtin.Convenience |
| fx1 | Term.Builtin.Convenience |
| fx10 | Term.Builtin.Convenience |
| fx2 | Term.Builtin.Convenience |
| fx3 | Term.Builtin.Convenience |
| fx4 | Term.Builtin.Convenience |
| fx5 | Term.Builtin.Convenience |
| fx6 | Term.Builtin.Convenience |
| fx7 | Term.Builtin.Convenience |
| fx8 | Term.Builtin.Convenience |
| fx9 | Term.Builtin.Convenience |