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 |
solveMatchLNTerm | Term.Unification |
solveMatchLTerm | 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 |