Index - N
| N | |
| 1 (Data Constructor) | Ermine.Syntax.Sort |
| 2 (Data Constructor) | Ermine.Syntax.Global |
| 3 (Data Constructor) | Ermine.Syntax.Convention |
| name | Ermine.Syntax.Name |
| names | Ermine.Pretty |
| Native | |
| 1 (Data Constructor) | Ermine.Syntax.Kind |
| 2 (Data Constructor) | Ermine.Syntax.G |
| 3 (Type/Class) | Ermine.Syntax.G |
| native | Ermine.Syntax.Kind |
| nest | Ermine.Pretty |
| nesting | Ermine.Pretty |
| newMeta | Ermine.Unification.Meta |
| newShallowMeta | Ermine.Unification.Meta |
| nil | Ermine.Builtin.Core |
| nilg | Ermine.Builtin.Global |
| note | Ermine.Builtin.Pattern |
| noted | Ermine.Builtin.Pattern |
| nothing | Ermine.Builtin.Core |
| nothingg | Ermine.Builtin.Global |
| noUpdate | Ermine.Syntax.G |