| NamedInner | Util.Named |
| namedL | Util.Named |
| namedParser | Util.CLI |
| Nat | Util.Peano |
| needsParens | Michelson.Printer.Util |
| NEG | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Neg | Michelson.Typed.Arith, Michelson.Typed |
| NegativeNat | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| NEQ | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Neq | Michelson.Typed.Arith, Michelson.Typed |
| Nested | Michelson.Typed.Instr, Michelson.Typed |
| nestedBigMapsAbsense | Michelson.Typed.Scope, Michelson.Typed |
| NestedBigMapsAbsent | Michelson.Typed.Scope, Michelson.Typed |
| NestedBigMapsPresence | Michelson.Typed.Scope, Michelson.Typed |
| NestedBigMapsPresent | Michelson.Typed.Scope, Michelson.Typed |
| nextHeaderLevel | Util.Markdown |
| NIL | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| noAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| noBoundVars | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| NoFields | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| noLetEnv | Michelson.Parser.Types |
| noMorleyLogs | Michelson.Interpret |
| NONE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| NonTypedInstr | Michelson.TypeCheck.TypeCheckedOp, Michelson.TypeCheck.TypeCheckedSeq |
| Nop | Michelson.Typed.Instr, Michelson.Typed |
| NOT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Not | Michelson.Typed.Arith, Michelson.Typed |
| note | Michelson.Parser.Annotations |
| noteDef | Michelson.Parser.Annotations |
| noteF | Michelson.Parser.Annotations |
| NotEnoughItemsOnStack | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| Notes | Michelson.Typed.Annotation, Michelson.Typed |
| notesSing | Michelson.Typed.Annotation, Michelson.Typed |
| notesT | Michelson.Typed.Annotation, Michelson.Typed |
| notesTF | Michelson.Parser.Annotations |
| notesTV | Michelson.Parser.Annotations |
| notesTVF | Michelson.Parser.Annotations |
| notesTVF2 | Michelson.Parser.Annotations |
| notesTVF2Def | Michelson.Parser.Annotations |
| notesVF | Michelson.Parser.Annotations |
| noteV | Michelson.Parser.Annotations |
| noteV2Def | Michelson.Parser.Annotations |
| NotNumericTypes | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| NotWellTyped | |
| 1 (Type/Class) | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| 2 (Data Constructor) | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| NOW | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| nowOption | Morley.CLI |
| NTAddress | Michelson.Typed.Annotation, Michelson.Typed |
| NTBigMap | Michelson.Typed.Annotation, Michelson.Typed |
| NTBool | Michelson.Typed.Annotation, Michelson.Typed |
| NTBytes | Michelson.Typed.Annotation, Michelson.Typed |
| NTChainId | Michelson.Typed.Annotation, Michelson.Typed |
| NTContract | Michelson.Typed.Annotation, Michelson.Typed |
| NTInt | Michelson.Typed.Annotation, Michelson.Typed |
| NTKey | Michelson.Typed.Annotation, Michelson.Typed |
| NTKeyHash | Michelson.Typed.Annotation, Michelson.Typed |
| NTLambda | Michelson.Typed.Annotation, Michelson.Typed |
| NTList | Michelson.Typed.Annotation, Michelson.Typed |
| NTMap | Michelson.Typed.Annotation, Michelson.Typed |
| NTMutez | Michelson.Typed.Annotation, Michelson.Typed |
| NTNat | Michelson.Typed.Annotation, Michelson.Typed |
| NTOperation | Michelson.Typed.Annotation, Michelson.Typed |
| NTOption | Michelson.Typed.Annotation, Michelson.Typed |
| NTOr | Michelson.Typed.Annotation, Michelson.Typed |
| NTPair | Michelson.Typed.Annotation, Michelson.Typed |
| NTSet | Michelson.Typed.Annotation, Michelson.Typed |
| NTSignature | Michelson.Typed.Annotation, Michelson.Typed |
| NTString | Michelson.Typed.Annotation, Michelson.Typed |
| NTTimestamp | Michelson.Typed.Annotation, Michelson.Typed |
| NTUnit | Michelson.Typed.Annotation, Michelson.Typed |