Index
| # | Term.Builtin.Convenience |
| *: | Term.Builtin.Convenience |
| +: | Term.Builtin.Convenience |
| AC | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| ACSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| addFunctionSymbol | Term.Maude.Signature, Term.Unification |
| addStRule | Term.Maude.Signature, Term.Unification |
| adec | Term.Builtin.Convenience |
| adecSym | Term.Builtin.Signature, Term.Builtin.Rules |
| aenc | Term.Builtin.Convenience |
| aencSym | Term.Builtin.Signature, Term.Builtin.Rules |
| allFunctionSymbols | Term.Maude.Signature, Term.Unification |
| Apply | Term.Substitution, Term.Unification |
| apply | Term.Substitution, Term.Unification |
| applyLit | Term.Substitution, Term.Unification |
| applySubst | Term.Substitution, Term.Unification |
| applyVTerm | Term.Substitution, Term.Unification |
| Arbitrary | Term.LTerm, Term.Substitution, Term.Unification |
| asymEncFunSig | Term.Builtin.Signature, Term.Builtin.Rules |
| asymEncMaudeSig | Term.Maude.Signature, Term.Unification |
| asymEncRules | Term.Builtin.Rules |
| atPos | Term.Positions |
| avoid | Term.LTerm, Term.Substitution, Term.Unification |
| bindTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| Bound | Term.LTerm, Term.Substitution, Term.Unification |
| BVar | Term.LTerm, Term.Substitution, Term.Unification |
| canonizeSubst | Term.Subsumption |
| checkComplete | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
| checkMinimal | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
| compareSubstVariant | Term.Narrowing.Variants.Compute, Term.Narrowing.Variants |
| compareTermSubs | Term.Subsumption |
| compose | Term.Substitution, Term.Unification |
| composeVFresh | Term.Substitution, Term.Unification |
| computeVariants | Term.Narrowing.Variants.Compute, Term.Narrowing.Variants |
| computeVariantsBound | Term.Narrowing.Variants.Compute, Term.Narrowing.Variants |
| computeVariantsCheck | Term.Narrowing.Variants |
| Con | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| constsVTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| constTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| destInverse | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| destPair | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| destProduct | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| destUnion | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| destXor | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| dhFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| dhMaudeSig | Term.Maude.Signature, Term.Unification |
| dhReducibleFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| dhRules | Term.Builtin.Rules |
| dom | Term.Substitution, Term.Unification |
| domVFresh | Term.Substitution, Term.Unification |
| Empty | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| emptySubst | Term.Substitution, Term.Unification |
| emptySubstVFresh | Term.Substitution, Term.Unification |
| enableDH | Term.Maude.Signature, Term.Unification |
| enableMSet | Term.Maude.Signature, Term.Unification |
| enableXor | Term.Maude.Signature, Term.Unification |
| eqLHS | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| eqModuloFreshnessNoAC | Term.LTerm, Term.Substitution, Term.Unification |
| eqRHS | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| eqTermSubs | Term.Subsumption |
| Equal | |
| 1 (Type/Class) | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| 2 (Data Constructor) | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| evalEqual | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| evalFreshAvoiding | Term.LTerm, Term.Substitution, Term.Unification |
| evalFreshTAvoiding | Term.LTerm, Term.Substitution, Term.Unification |
| extendWithRenaming | Term.Substitution, Term.Unification |
| 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 |
| fAppEmpty | 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 |
| fAppMult | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| FAppNonAC | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppNonAC | 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 |
| fAppSnd | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppUnion | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppXor | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| fAppZero | 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 |
| 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 |
| FPair | 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 |
| functionSymbols | Term.Maude.Signature |
| 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 |
| 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 |
| FXor | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| getMaudeStats | Term.Maude.Process, Term.Unification |
| getNameId | Term.LTerm, Term.Substitution, Term.Unification |
| HasFrees | Term.LTerm, Term.Substitution, Term.Unification |
| hashFunSig | Term.Builtin.Signature, Term.Builtin.Rules |
| hashMaudeSig | Term.Maude.Signature, Term.Unification |
| hashSym | Term.Builtin.Signature, Term.Builtin.Rules |
| i1 | Term.Builtin.Convenience |
| i2 | Term.Builtin.Convenience |
| i3 | Term.Builtin.Convenience |
| i4 | Term.Builtin.Convenience |
| i5 | Term.Builtin.Convenience |
| i6 | Term.Builtin.Convenience |
| i7 | Term.Builtin.Convenience |
| i8 | Term.Builtin.Convenience |
| i9 | Term.Builtin.Convenience |
| imageOf | Term.Substitution, Term.Unification |
| imageOfVFresh | Term.Substitution, Term.Unification |
| implicitFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| input | Term.LTerm, Term.Substitution, Term.Unification |
| irreducibleFunctionSymbols | Term.Maude.Signature, Term.Unification |
| IsConst | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isFreshVar | Term.LTerm, Term.Substitution, Term.Unification |
| isInverse | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isMsgVar | Term.LTerm, Term.Substitution, Term.Unification |
| isNormalInstance | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
| isPair | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isProduct | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isRenaming | Term.Substitution, Term.Unification |
| isUnion | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| IsVar | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isVar | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| isXor | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| leqSubstVariant | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
| li1 | Term.Builtin.Convenience |
| li2 | Term.Builtin.Convenience |
| li3 | Term.Builtin.Convenience |
| li4 | Term.Builtin.Convenience |
| li5 | Term.Builtin.Convenience |
| li6 | Term.Builtin.Convenience |
| li7 | Term.Builtin.Convenience |
| li8 | Term.Builtin.Convenience |
| li9 | Term.Builtin.Convenience |
| List | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| Lit | |
| 1 (Data Constructor) | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| 2 (Type/Class) | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| lit | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| Lit2 | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| lits | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| LNSubst | Term.Substitution, Term.Unification |
| LNSubstVFresh | Term.Substitution, Term.Unification |
| LNTerm | Term.LTerm, Term.Substitution, Term.Unification |
| ls1 | Term.Builtin.Convenience |
| ls2 | Term.Builtin.Convenience |
| ls3 | Term.Builtin.Convenience |
| ls4 | Term.Builtin.Convenience |
| ls5 | Term.Builtin.Convenience |
| ls6 | Term.Builtin.Convenience |
| ls7 | Term.Builtin.Convenience |
| ls8 | Term.Builtin.Convenience |
| ls9 | Term.Builtin.Convenience |
| LSort | Term.LTerm, Term.Substitution, Term.Unification |
| LSortFresh | Term.LTerm, Term.Substitution, Term.Unification |
| LSortMSet | Term.LTerm, Term.Substitution, Term.Unification |
| LSortMsg | Term.LTerm, Term.Substitution, Term.Unification |
| LSortNode | Term.LTerm, Term.Substitution, Term.Unification |
| LSortPub | Term.LTerm, Term.Substitution, Term.Unification |
| LSubst | Term.Substitution, Term.Unification |
| LSubstVFresh | Term.Substitution, Term.Unification |
| LTerm | Term.LTerm, Term.Substitution, Term.Unification |
| lTermToMTerm | Term.Maude.Types |
| lTermToMTerm' | Term.Maude.Types |
| lv1 | Term.Builtin.Convenience |
| lv2 | Term.Builtin.Convenience |
| lv3 | Term.Builtin.Convenience |
| lv4 | Term.Builtin.Convenience |
| lv5 | Term.Builtin.Convenience |
| lv6 | Term.Builtin.Convenience |
| lv7 | Term.Builtin.Convenience |
| lv8 | Term.Builtin.Convenience |
| lv9 | Term.Builtin.Convenience |
| LVar | |
| 1 (Type/Class) | Term.LTerm, Term.Substitution, Term.Unification |
| 2 (Data Constructor) | Term.LTerm, Term.Substitution, Term.Unification |
| lvarIdx | Term.LTerm, Term.Substitution, Term.Unification |
| lvarName | Term.LTerm, Term.Substitution, Term.Unification |
| lvarSort | Term.LTerm, Term.Substitution, Term.Unification |
| lx1 | Term.Builtin.Convenience |
| lx10 | Term.Builtin.Convenience |
| lx2 | Term.Builtin.Convenience |
| lx3 | Term.Builtin.Convenience |
| lx4 | Term.Builtin.Convenience |
| lx5 | Term.Builtin.Convenience |
| lx6 | Term.Builtin.Convenience |
| lx7 | Term.Builtin.Convenience |
| lx8 | Term.Builtin.Convenience |
| lx9 | Term.Builtin.Convenience |
| main | Term.UnitTests |
| mapFrees | Term.LTerm, Term.Substitution, Term.Unification |
| mapRange | Term.Substitution, Term.Unification |
| mapRangeVFresh | Term.Substitution, Term.Unification |
| Match | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| matchLNTerm | Term.Unification |
| matchLTerm | Term.Unification |
| matchPattern | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| matchTerm | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| matchViaMaude | Term.Maude.Process |
| MatchWith | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| MaudeConst | Term.Maude.Types |
| MaudeHandle | |
| 1 (Type/Class) | Term.Maude.Process, Term.Unification |
| 2 (Data Constructor) | Term.Maude.Process |
| MaudeLit | Term.Maude.Types |
| MaudeSig | Term.Maude.Signature, Term.Unification |
| MaudeVar | Term.Maude.Types |
| maybeNotNfSubterms | Term.Rewriting.Norm |
| mhFilePath | Term.Maude.Process, Term.Unification |
| mhMaudeSig | Term.Maude.Process, Term.Unification |
| mhProc | Term.Maude.Process |
| minimalMaudeSig | Term.Maude.Signature, Term.Unification |
| Monotone | Term.LTerm, Term.Substitution, Term.Unification |
| MonotoneFunction | Term.LTerm, Term.Substitution, Term.Unification |
| msetFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| msetMaudeSig | Term.Maude.Signature, Term.Unification |
| msetRules | Term.Builtin.Rules |
| MSubst | Term.Maude.Types |
| msubstToLSubstVFree | Term.Maude.Types |
| msubstToLSubstVFresh | Term.Maude.Types |
| MTerm | Term.Maude.Types |
| mTermToLNTerm | Term.Maude.Types |
| Mult | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| Name | |
| 1 (Type/Class) | Term.LTerm, Term.Substitution, Term.Unification |
| 2 (Data Constructor) | Term.LTerm, Term.Substitution, Term.Unification |
| NameId | |
| 1 (Type/Class) | Term.LTerm, Term.Substitution, Term.Unification |
| 2 (Data Constructor) | Term.LTerm, Term.Substitution, Term.Unification |
| NameTag | Term.LTerm, Term.Substitution, Term.Unification |
| nf' | Term.Rewriting.Norm |
| nfSubstVFresh' | Term.Rewriting.Norm |
| nId | Term.LTerm, Term.Substitution, Term.Unification |
| NonAC | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| NonACSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| norm' | Term.Rewriting.Norm |
| normSubstVFresh' | Term.Rewriting.Norm |
| normViaMaude | Term.Maude.Process |
| nTag | Term.LTerm, Term.Substitution, Term.Unification |
| NTerm | Term.LTerm, Term.Substitution, Term.Unification |
| occurs | Term.LTerm, Term.Substitution, Term.Unification |
| occursVTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| One | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| p1 | Term.Builtin.Convenience |
| p2 | Term.Builtin.Convenience |
| p3 | Term.Builtin.Convenience |
| p4 | Term.Builtin.Convenience |
| p5 | Term.Builtin.Convenience |
| p6 | Term.Builtin.Convenience |
| p7 | Term.Builtin.Convenience |
| p8 | Term.Builtin.Convenience |
| p9 | Term.Builtin.Convenience |
| pairFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| pairMaudeSig | Term.Maude.Signature, Term.Unification |
| pairRules | Term.Builtin.Rules |
| parseMatchReply | Term.Maude.Parser |
| parseReduceReply | Term.Maude.Parser |
| parseUnifyReply | Term.Maude.Parser |
| pk | Term.Builtin.Convenience |
| pkSym | Term.Builtin.Signature, Term.Builtin.Rules |
| Position | Term.Positions |
| positionsNonVar | Term.Positions |
| ppMaude | Term.Maude.Parser |
| ppTheory | Term.Maude.Parser |
| prettyDisjLNSubstsVFresh | Term.Substitution, Term.Unification |
| prettyLNSubst | Term.Substitution, Term.Unification |
| prettyLNTerm | Term.LTerm, Term.Substitution, Term.Unification |
| prettyLSubstVFresh | Term.Substitution, Term.Unification |
| prettyLVar | Term.LTerm, Term.Substitution, Term.Unification |
| prettyMaudeSig | Term.Maude.Signature |
| prettyNTerm | Term.LTerm, Term.Substitution, Term.Unification |
| prettyStRule | Term.SubtermRule |
| prettySubst | Term.Substitution, Term.Unification |
| prettySubstVFresh | Term.Substitution, Term.Unification |
| prettyTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| PubName | Term.LTerm, Term.Substitution, Term.Unification |
| pubTerm | Term.LTerm, Term.Substitution, Term.Unification |
| pubVar | Term.Builtin.Convenience |
| px0 | Term.Builtin.Convenience |
| px1 | Term.Builtin.Convenience |
| px10 | Term.Builtin.Convenience |
| px2 | Term.Builtin.Convenience |
| px3 | Term.Builtin.Convenience |
| px4 | Term.Builtin.Convenience |
| px5 | Term.Builtin.Convenience |
| px6 | Term.Builtin.Convenience |
| px7 | Term.Builtin.Convenience |
| px8 | Term.Builtin.Convenience |
| px9 | Term.Builtin.Convenience |
| range | Term.Substitution, Term.Unification |
| rangeVFresh | Term.Substitution, Term.Unification |
| removeRenamings | Term.Substitution, Term.Unification |
| rename | Term.LTerm, Term.Substitution, Term.Unification |
| renameAvoiding | Term.LTerm, Term.Substitution, Term.Unification |
| renameFresh | Term.Substitution, Term.Unification |
| renameFreshAvoiding | Term.Substitution, Term.Unification |
| renamePrecise | Term.LTerm, Term.Substitution, Term.Unification |
| replacePos | Term.Positions |
| restrict | Term.Substitution, Term.Unification |
| restrictVFresh | Term.Substitution, Term.Unification |
| RhsGround | Term.SubtermRule |
| RhsPosition | Term.SubtermRule |
| RRule | |
| 1 (Type/Class) | Term.Rewriting.Definitions, Term.SubtermRule, Term.Builtin.Rules, Term.Unification |
| 2 (Data Constructor) | Term.Rewriting.Definitions, Term.SubtermRule, Term.Builtin.Rules, Term.Unification |
| rrulesForMaudeSig | Term.Maude.Signature, Term.Unification |
| rRuleToStRule | Term.SubtermRule |
| runConversion | Term.Maude.Types |
| s1 | Term.Builtin.Convenience |
| s2 | Term.Builtin.Convenience |
| s3 | Term.Builtin.Convenience |
| s4 | Term.Builtin.Convenience |
| s5 | Term.Builtin.Convenience |
| s6 | Term.Builtin.Convenience |
| s7 | Term.Builtin.Convenience |
| s8 | Term.Builtin.Convenience |
| s9 | Term.Builtin.Convenience |
| sdec | Term.Builtin.Convenience |
| sdecSym | Term.Builtin.Signature, Term.Builtin.Rules |
| senc | Term.Builtin.Convenience |
| sencSym | Term.Builtin.Signature, Term.Builtin.Rules |
| sign | Term.Builtin.Convenience |
| signatureFunSig | Term.Builtin.Signature, Term.Builtin.Rules |
| signatureMaudeSig | Term.Maude.Signature, Term.Unification |
| signatureRules | Term.Builtin.Rules |
| signSym | Term.Builtin.Signature, Term.Builtin.Rules |
| size | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| Sized | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| sMap | Term.Substitution, Term.Unification |
| someInst | Term.LTerm, Term.Substitution, Term.Unification |
| sortCompare | Term.LTerm, Term.Substitution, Term.Unification |
| sortOfLNTerm | Term.LTerm, Term.Substitution, Term.Unification |
| sortOfLTerm | Term.LTerm, Term.Substitution, Term.Unification |
| sortOfName | Term.LTerm, Term.Substitution, Term.Unification |
| sortPrefix | Term.LTerm, Term.Substitution, Term.Unification |
| sortSuffix | Term.LTerm, Term.Substitution, Term.Unification |
| startMaude | Term.Maude.Process, Term.Unification |
| StRhs | Term.SubtermRule |
| StRule | |
| 1 (Type/Class) | Term.SubtermRule |
| 2 (Data Constructor) | Term.SubtermRule |
| stRules | Term.Maude.Signature, Term.Unification |
| stRuleToRRule | Term.SubtermRule |
| Subst | |
| 1 (Type/Class) | Term.Substitution, Term.Unification |
| 2 (Data Constructor) | Term.Substitution, Term.Unification |
| substFromList | Term.Substitution, Term.Unification |
| substFromListVFresh | Term.Substitution, Term.Unification |
| substFromMap | Term.Substitution, Term.Unification |
| substToList | Term.Substitution, Term.Unification |
| substToListOn | Term.Substitution, Term.Unification |
| substToListVFresh | Term.Substitution, Term.Unification |
| SubstVFresh | |
| 1 (Type/Class) | Term.Substitution, Term.Unification |
| 2 (Data Constructor) | Term.Substitution, Term.Unification |
| svMap | Term.Substitution, Term.Unification |
| symEncFunSig | Term.Builtin.Signature, Term.Builtin.Rules |
| symEncMaudeSig | Term.Maude.Signature, Term.Unification |
| symEncRules | Term.Builtin.Rules |
| Term | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| TermView | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| TermView2 | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| traverseTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| trivial | Term.LTerm, Term.Substitution, Term.Unification |
| trueC | Term.Builtin.Convenience |
| trueSym | Term.Builtin.Signature, Term.Builtin.Rules |
| unifyLNTerm | Term.Unification |
| unifyLNTermFactored | Term.Unification |
| unifyLTerm | Term.Unification |
| unifyLTermFactored | Term.Unification |
| unifyViaMaude | Term.Maude.Process |
| Union | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| unsafefApp | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| v1 | Term.Builtin.Convenience |
| v2 | Term.Builtin.Convenience |
| v3 | Term.Builtin.Convenience |
| v4 | Term.Builtin.Convenience |
| v5 | Term.Builtin.Convenience |
| v6 | Term.Builtin.Convenience |
| v7 | Term.Builtin.Convenience |
| v8 | Term.Builtin.Convenience |
| v9 | Term.Builtin.Convenience |
| Var | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| var | Term.Builtin.Convenience |
| variantsFrom | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
| varOccurences | Term.Subsumption |
| varsRange | Term.Substitution, Term.Unification |
| varsRangeVFresh | Term.Substitution, Term.Unification |
| varsVTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| varTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| verify | Term.Builtin.Convenience |
| verifySym | Term.Builtin.Signature, Term.Builtin.Rules |
| viewTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| viewTerm2 | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| VTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| WithMaude | Term.Maude.Process, Term.Unification |
| x0 | Term.Builtin.Convenience |
| x1 | Term.Builtin.Convenience |
| x10 | Term.Builtin.Convenience |
| x2 | Term.Builtin.Convenience |
| x3 | Term.Builtin.Convenience |
| x4 | Term.Builtin.Convenience |
| x5 | Term.Builtin.Convenience |
| x6 | Term.Builtin.Convenience |
| x7 | Term.Builtin.Convenience |
| x8 | Term.Builtin.Convenience |
| x9 | Term.Builtin.Convenience |
| Xor | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| xorFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| xorMaudeSig | Term.Maude.Signature, Term.Unification |
| xorRules | Term.Builtin.Rules |
| y0 | Term.Builtin.Convenience |
| y1 | Term.Builtin.Convenience |
| y2 | Term.Builtin.Convenience |
| y3 | Term.Builtin.Convenience |
| y4 | Term.Builtin.Convenience |
| y5 | Term.Builtin.Convenience |
| y6 | Term.Builtin.Convenience |
| y7 | Term.Builtin.Convenience |
| y8 | Term.Builtin.Convenience |
| y9 | Term.Builtin.Convenience |
| Zero | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |