| NamedField | |
| 1 (Type/Class) | Lorentz.ADT, Lorentz |
| 2 (Data Constructor) | Lorentz.ADT, Lorentz |
| NamedInner | Util.Named |
| Nat | Util.Peano |
| Natural | Lorentz.Value, Lorentz |
| 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 |
| neg | Lorentz.Instr, Lorentz |
| 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 |
| neq | Lorentz.Macro, Lorentz |
| neq0 | Lorentz.Instr, Lorentz |
| 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 |
| NiceConstant | Lorentz.Constraints, Lorentz |
| niceConstantEvi | Lorentz.Constraints, Lorentz |
| NiceFullPackedValue | Lorentz.Constraints, Lorentz |
| NicePackedValue | Lorentz.Constraints, Lorentz |
| nicePackedValueEvi | Lorentz.Constraints, Lorentz |
| NiceParameter | Lorentz.Constraints, Lorentz |
| niceParameterEvi | Lorentz.Constraints, Lorentz |
| NicePrintedValue | Lorentz.Constraints, Lorentz |
| nicePrintedValueEvi | Lorentz.Constraints, Lorentz |
| NiceStorage | Lorentz.Constraints, Lorentz |
| niceStorageEvi | Lorentz.Constraints, Lorentz |
| NiceUnpackedValue | Lorentz.Constraints, Lorentz |
| niceUnpackedValueEvi | Lorentz.Constraints, Lorentz |
| NIL | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| nil | Lorentz.Instr, Lorentz |
| noAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| NoBigMap | Lorentz.Constraints, Lorentz |
| noBoundVars | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| NoContractType | Lorentz.Constraints, Lorentz |
| NoEpName | Michelson.Typed.EntryPoints, Michelson.Typed |
| 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 |
| none | Lorentz.Instr, Lorentz |
| nonZero | Lorentz.Instr, Lorentz |
| NoOperation | Lorentz.Constraints, Lorentz |
| Nop | Michelson.Typed.Instr, Michelson.Typed |
| nop | Lorentz.Instr, Lorentz |
| NoSuchEntryPoint | Lorentz.UParam, Lorentz |
| NOT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Not | Michelson.Typed.Arith, Michelson.Typed |
| not | Lorentz.Instr, Lorentz |
| noteF | Michelson.Parser.Annotations |
| noteFDef | Michelson.Parser.Annotations |
| NotEnoughDig | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| NotEnoughDip | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| NotEnoughDrop | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| NotEnoughDug | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| NotEnoughItemsInstr | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| NotEnoughItemsOnStack | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| Notes | 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 |
| noteTDef | Michelson.Parser.Annotations |
| noteV | Michelson.Parser.Annotations |
| noteV2 | Michelson.Parser.Annotations |
| noteV2Def | Michelson.Parser.Annotations |
| noteVDef | Michelson.Parser.Annotations |
| Nothing | Lorentz.Prelude, Lorentz.Value, Lorentz |
| NOW | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| now | Lorentz.Instr, Lorentz |
| NTBigMap | Michelson.Typed.Annotation, Michelson.Typed |
| NTc | Michelson.Typed.Annotation, Michelson.Typed |
| NTChainId | Michelson.Typed.Annotation, Michelson.Typed |
| NTContract | Michelson.Typed.Annotation, Michelson.Typed |
| NTKey | Michelson.Typed.Annotation, Michelson.Typed |
| NTLambda | Michelson.Typed.Annotation, Michelson.Typed |
| NTList | Michelson.Typed.Annotation, Michelson.Typed |
| NTMap | 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 |
| NTUnit | Michelson.Typed.Annotation, Michelson.Typed |