Index - N
| Name | |
| 1 (Data Constructor) | Theory.Model, Theory |
| 2 (Type/Class) | Theory.Model, Theory |
| NameId | |
| 1 (Data Constructor) | Theory.Model, Theory |
| 2 (Type/Class) | Theory.Model, Theory |
| NameTag | Theory.Model, Theory |
| NAtom | Theory.Model.Atom, Theory.Model, Theory |
| natural | Theory.Text.Parser.Token |
| naturalSubscript | Theory.Text.Parser.Token |
| nest | Theory.Text.Pretty |
| nestBetween | Theory.Text.Pretty |
| nestShort | Theory.Text.Pretty |
| nestShort' | Theory.Text.Pretty |
| nestShortNonEmpty | Theory.Text.Pretty |
| nestShortNonEmpty' | Theory.Text.Pretty |
| neverContainsFreshPriv | Theory.Model, Theory |
| NFact | Theory.Model.Fact, Theory.Model, Theory |
| nfRule | Theory.Model.Rule, Theory.Model, Theory |
| nId | Theory.Model, Theory |
| niFactors | Theory.Model, Theory |
| NodeAfterLast | Theory.Constraint.Solver.Contradictions |
| NodeConc | Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| nodeConcFact | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| nodeConcNode | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| NodeId | Theory.Model, Theory |
| NodePrem | Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| nodePremFact | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| nodePremNode | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| nodeRule | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
| nodevar | Theory.Text.Parser.Token |
| NoEq | Theory.Model, Theory |
| NoEqFunSig | Theory.Model, Theory |
| noEqFunSyms | Theory.Model, Theory |
| NoEqSym | Theory.Model, Theory |
| NoMatch | Theory.Model, Theory |
| nonEmptyGraph | Theory.Constraint.System.Dot |
| NonInjectiveFactInstance | Theory.Constraint.Solver.Contradictions |
| NonNormalTerms | Theory.Constraint.Solver.Contradictions |
| nonSilentRules | Theory.Constraint.Solver.Types |
| normalizeTheory | Theory |
| Not | Theory.Model.Formula, Theory.Model, Theory |
| noteWellformedness | Theory.Tools.Wellformedness |
| nTag | Theory.Model, Theory |
| NTerm | Theory.Model, Theory |
| numbered | Theory.Text.Pretty |
| numbered' | Theory.Text.Pretty |