Index - D
| dai | EVM.Dev |
| daiExpr | EVM.Dev |
| DappContext | |
| 1 (Type/Class) | EVM.Dapp |
| 2 (Data Constructor) | EVM.Dapp |
| DappInfo | |
| 1 (Type/Class) | EVM.Dapp |
| 2 (Data Constructor) | EVM.Dapp |
| dappInfo | EVM.Dapp |
| DappTools | EVM.Solidity |
| Data | |
| 1 (Type/Class) | EVM.Facts |
| 2 (Data Constructor) | EVM.Facts |
| DB | |
| 1 (Type/Class) | EVM.Patricia |
| 2 (Data Constructor) | EVM.Patricia |
| Debug | EVM.Debug |
| debuggableTests | EVM.TTY |
| debugVeriOpts | EVM.SymExec |
| declareBlockContext | EVM.SMT |
| declareBufs | EVM.SMT |
| declareFrameContext | EVM.SMT |
| declareIntermediates | EVM.SMT |
| declareVars | EVM.SMT |
| decodeAbiValue | EVM.ABI |
| decodeBuf | EVM.ABI |
| decodeCalls | EVM.UnitTest |
| decodeStaticArgs | EVM.ABI |
| defaultBalanceForTestContract | EVM.UnitTest |
| defaultGasForCreating | EVM.UnitTest |
| defaultGasForInvoking | EVM.UnitTest |
| defaultMaxCodeSize | EVM.UnitTest |
| defaultPanicCodes | EVM.SymExec |
| defaultVeriOpts | EVM.SymExec |
| delegateCall | EVM |
| DelegeateCall | EVM.Types |
| delete | EVM.Patricia |
| deriveAddr | EVM.Sign |
| dim | EVM.TTY |
| dimAttr | EVM.TTY |
| discoverMaxReads | EVM.SMT |
| Div | EVM.Types |
| div | EVM.Expr |
| doTest | EVM.Dev |
| drawBytecodePane | EVM.TTY |
| drawHelpBar | EVM.TTY |
| drawHelpView | EVM.TTY |
| drawListElements | EVM.TTYCenteredList |
| drawSolidityPane | EVM.TTY |
| drawStackPane | EVM.TTY |
| drawTestPicker | EVM.TTY |
| drawTracePane | EVM.TTY |
| drawUi | EVM.TTY |
| drawVm | EVM.TTY |
| drawVmBrowser | EVM.TTY |
| drop | EVM.Expr |
| Dy | EVM.SymExec |
| Dynamic | EVM.ABI |