| dblPosIsPos | What4.BaseTypes, What4.Interface |
| DBV | What4.SWord |
| Debug | What4.Serialize.Log |
| decDoc | What4.Protocol.VerilogWriter.ABCVerilog |
| decideLeq | What4.BaseTypes, What4.Interface |
| decimal | What4.Protocol.SMTLib2.Syntax |
| declareCommand | What4.Protocol.SMTWriter |
| declareConst | What4.Protocol.SMTLib2.Syntax |
| declareFun | What4.Protocol.SMTLib2.Syntax |
| declareSort | What4.Protocol.SMTLib2.Syntax |
| DeclareSortResponse | What4.Protocol.SMTLib2.Parse |
| declareStructDatatype | What4.Protocol.SMTWriter |
| declareVar | What4.Protocol.SMTLib2.Syntax |
| declareVarCommand | What4.Protocol.SMTWriter |
| decNat | What4.BaseTypes, What4.Interface |
| defaultConfig | |
| 1 (Function) | What4.Serialize.Printer |
| 2 (Function) | What4.Serialize.Parser |
| defaultFeatures | What4.Protocol.SMTLib2 |
| defaultFileWriter | What4.Protocol.SMTLib2 |
| defaultLogData | What4.Solver.Adapter, What4.Solver |
| defaultPPExprOpts | What4.Expr.App |
| defaultSolverAdapter | What4.Solver.Adapter, What4.Solver |
| defaultSolverArgs | What4.Protocol.SMTLib2 |
| defaultSolverBounds | What4.Protocol.SMTLib2 |
| defaultSolverPath | What4.Protocol.SMTLib2 |
| defaultValueForType | What4.Expr.GroundEval |
| defaultWriteSMTLIB2Features | What4.Solver.Adapter |
| defineCommand | What4.Protocol.SMTWriter |
| definedFn | What4.Interface |
| DefinedFnInfo | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| DefineFun | |
| 1 (Type/Class) | What4.Protocol.SMTLib2.Parse |
| 2 (Data Constructor) | What4.Protocol.SMTLib2.Parse |
| defineFun | What4.Protocol.SMTLib2.Syntax |
| DefineFunResponse | What4.Protocol.SMTLib2.Parse |
| defineSort | What4.Protocol.SMTLib2.Syntax |
| DefineStyle | What4.Protocol.SMTWriter |
| delete | |
| 1 (Function) | What4.Utils.AnnotatedMap |
| 2 (Function) | What4.Expr.ArrayUpdateMap |
| deleteFindMax | What4.Utils.LeqMap |
| deleteFindMin | What4.Utils.LeqMap |
| deleteIdxValue | What4.Expr.Builder |
| demuxProcessHandles | What4.Utils.HandleReader |
| deprecatedOpt | What4.Config |
| deserializeBaseType | What4.Serialize.Parser |
| deserializeExpr | What4.Serialize.Parser |
| deserializeExprWithConfig | What4.Serialize.Parser |
| deserializeSymFn | What4.Serialize.Parser |
| deserializeSymFnWithConfig | What4.Serialize.Parser |
| difference | What4.Utils.AnnotatedMap |
| distinct | What4.Protocol.SMTLib2.Syntax |
| div | What4.Protocol.SMTLib2.Syntax |
| divNat | What4.BaseTypes, What4.Interface |
| Domain | |
| 1 (Type/Class) | What4.Utils.BVDomain.Arith |
| 2 (Type/Class) | What4.Utils.BVDomain.Bitwise |
| 3 (Type/Class) | What4.Utils.BVDomain.XOR |
| domain | What4.Expr.UnaryBV |
| domainsOverlap | |
| 1 (Function) | What4.Utils.BVDomain.Arith |
| 2 (Function) | What4.Utils.BVDomain.Bitwise |
| 3 (Function) | What4.Utils.BVDomain |
| DoubleDoubleFloat | What4.InterpretedFloatingPoint |
| DoubleDoubleFloatRepr | What4.InterpretedFloatingPoint |
| DoubleFloat | What4.InterpretedFloatingPoint |
| DoubleFloatRepr | What4.InterpretedFloatingPoint |
| DReal | |
| 1 (Type/Class) | What4.Solver.DReal, What4.Solver |
| 2 (Data Constructor) | What4.Solver.DReal, What4.Solver |
| drealAdapter | What4.Solver.DReal, What4.Solver |
| DRealBindings | What4.Solver.DReal, What4.Solver |
| drealOptions | What4.Solver.DReal |
| drealPath | What4.Solver.DReal, What4.Solver |
| drop | What4.Utils.Word16String |
| Dummy | What4.Expr.App |