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 |
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 |
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 |
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 |