Index - N
| naiveDenotation | Data.ECTA.Internal.ECTA.Enumeration, Data.ECTA |
| NameTag | Data.Memoization |
| NegLit | Application.SAT |
| nextUVar | Data.Persistent.UnionFind |
| Node | |
| 1 (Type/Class) | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| 2 (Data Constructor) | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| nodeCount | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| nodeEdges | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| nodeIdentity | Data.ECTA.Internal.ECTA.Type |
| nodeRepresents | Data.ECTA.Internal.ECTA.Operations |
| NoEnumeration | Application.TermSearch.Type |
| NoOptimize | Application.TermSearch.Type |
| NoReduction | Application.TermSearch.Type |
| Normal | Application.TermSearch.Type |
| nubById | Utility.HashJoin |
| nubByIdSinglePass | Utility.HashJoin |
| numNestedMu | Data.ECTA.Internal.ECTA.Type, Data.ECTA |