Index - N
| 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 |
| neverContainsFreshPriv | Term.LTerm, Term.Substitution, Term.Unification |
| nf' | Term.Rewriting.Norm |
| nfSubstVFresh' | Term.Rewriting.Norm |
| nId | Term.LTerm, Term.Substitution, Term.Unification |
| niFactors | Term.LTerm, Term.Substitution, Term.Unification |
| NodeId | Term.LTerm, Term.Substitution, Term.Unification |
| NoEq | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| NoEqFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| noEqFunSyms | Term.Maude.Signature, Term.Unification |
| NoEqSym | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
| NoMatch | Term.Rewriting.Definitions, Term.SubtermRule, Term.Unification |
| norm' | Term.Rewriting.Norm |
| normBigTerm | Term.UnitTests |
| normSubstVFresh' | Term.Rewriting.Norm |
| normViaMaude | Term.Maude.Process |
| nTag | Term.LTerm, Term.Substitution, Term.Unification |
| NTerm | Term.LTerm, Term.Substitution, Term.Unification |