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 |
| nf' | Term.Rewriting.Norm |
| nfSubstVFresh' | Term.Rewriting.Norm |
| nId | Term.LTerm, Term.Substitution, Term.Unification |
| NodeId | Term.LTerm, Term.Substitution, Term.Unification |
| NoMatch | Term.Rewriting.Definitions, Term.SubtermRule, 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 |