| D | Michelson.Macro |
| decodeBase58Check | Tezos.Crypto |
| decodeBase58CheckWithPrefix | Tezos.Crypto |
| def | Util.Default, Lorentz.Value, Lorentz |
| Default | Util.Default, Lorentz.Value, Lorentz |
| deleteMap | Lorentz.Macro, Lorentz |
| deriveNsOption | Michelson.TypeCheck.Helpers |
| deriveNsOr | Michelson.TypeCheck.Helpers |
| deriveRecFromTuple | Util.TypeTuple.TH |
| deriveSpecialFNs | Michelson.TypeCheck.Helpers |
| deriveSpecialVN | Michelson.TypeCheck.Helpers |
| deriveVN | Michelson.TypeCheck.Helpers |
| detSecretKey | Tezos.Crypto |
| DIIP | Michelson.Macro |
| DIP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| dip | Lorentz.Instr, Lorentz |
| dipT | Lorentz.Referenced, Lorentz |
| dipX | Lorentz.Macro, Lorentz |
| disjoinVn | Michelson.Untyped.Annotation, Michelson.Untyped |
| divModMutez | Tezos.Core |
| divModMutezInt | Tezos.Core |
| DoNotUseTextError | Michelson.Text |
| DROP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| drop | Lorentz.Instr, Lorentz |
| dropMText | Michelson.Text |
| dropT | Lorentz.Referenced, Lorentz |
| dropX | Lorentz.Macro, Lorentz |
| dummyContractEnv | Michelson.Test.Dummy, Michelson.Test, Lorentz.Test |
| dummyMaxSteps | Michelson.Test.Dummy |
| dummyNow | Michelson.Test.Dummy |
| dummyOrigination | Michelson.Test.Dummy |
| DUP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| dup | Lorentz.Instr, Lorentz |
| dupT | Lorentz.Referenced, Lorentz |
| DUUP | Michelson.Macro |
| duupX | Lorentz.Macro, Lorentz |