Index - S
| sdec | Term.Builtin.Convenience |
| sdecSym | Term.Builtin.Signature, Term.Builtin.Rules |
| senc | Term.Builtin.Convenience |
| sencSym | Term.Builtin.Signature, Term.Builtin.Rules |
| showFunSymName | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| showLitName | Term.LTerm, Term.Substitution, Term.Unification |
| 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 |
| sortOfLit | 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 |
| stFunSyms | Term.Maude.Signature, Term.Unification |
| StRhs | |
| 1 (Type/Class) | Term.SubtermRule |
| 2 (Data Constructor) | Term.SubtermRule |
| stRules | Term.Maude.Signature, Term.Unification |
| sub4 | Term.UnitTests |
| sub4' | Term.UnitTests |
| sub6 | Term.UnitTests |
| sub6' | Term.UnitTests |
| 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 |