| efSolveCommand | What4.Solver.Yices |
| empty | |
| 1 (Function) | What4.Utils.AnnotatedMap |
| 2 (Function) | What4.Utils.LeqMap |
| 3 (Function) | What4.Utils.Word16String |
| 4 (Function) | What4.Expr.ArrayUpdateMap |
| emptySymbol | What4.Symbol, What4.Interface |
| emptySymbolVarBimap | What4.Expr.Builder |
| emptyWordMap | What4.WordMap |
| Endian | What4.Utils.Endian |
| entryStackHeight | What4.Protocol.SMTWriter |
| enumOptSty | What4.Config |
| eq | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.SemiRing |
| 3 (Function) | What4.Utils.BVDomain.Arith |
| 4 (Function) | What4.Utils.BVDomain.Bitwise |
| 5 (Function) | What4.Utils.BVDomain |
| 6 (Function) | What4.Expr.UnaryBV |
| eqBy | What4.Utils.AnnotatedMap |
| eqPred | What4.Interface |
| EqualityDefinition | What4.Protocol.SMTWriter |
| Err | What4.Partial |
| ErrorBehavior | |
| 1 (Data Constructor) | What4.Protocol.SMTLib2.Syntax |
| 2 (Type/Class) | What4.Protocol.Online |
| eval | |
| 1 (Function) | What4.Expr.WeightedSum |
| 2 (Function) | What4.Solver.Yices |
| evalBoundVars | What4.Expr.Builder |
| evalGroundApp | What4.Expr.GroundEval |
| evalGroundExpr | What4.Expr.GroundEval |
| evalGroundNonceApp | What4.Expr.GroundEval |
| evalM | What4.Expr.WeightedSum |
| evalMatlabSolverFn | What4.Expr.MATLAB |
| evaluate | What4.Expr.UnaryBV |
| Exclusive | What4.Config |
| executablePathOptSty | What4.Config |
| ExistBound | What4.Expr.VarIdentification |
| existQuantifiers | What4.Expr.VarIdentification |
| Exists | What4.Expr.Builder, What4.Expr |
| exists | What4.Protocol.SMTLib2.Syntax |
| existsExpr | What4.Protocol.SMTWriter |
| ExistsForall | What4.Expr.VarIdentification |
| ExistsOnly | What4.Expr.VarIdentification |
| existsPred | What4.Interface |
| exit | What4.Protocol.SMTLib2.Syntax |
| expandEnvironmentPath | What4.Utils.Environment |
| Expr | What4.Expr.Builder, What4.Expr |
| ExprBoundVar | What4.Expr.Builder, What4.Expr |
| ExprBuilder | What4.Expr.Builder, What4.Expr |
| exprCounter | What4.Expr.Builder |
| exprLoc | What4.Expr.Builder, What4.Expr |
| exprMaybeId | What4.Expr.Builder |
| ExprRangeBindings | What4.Expr.GroundEval, What4.Expr, What4.Solver.DReal, What4.Solver |
| ExprSymFn | |
| 1 (Type/Class) | What4.Expr.Builder, What4.Expr |
| 2 (Data Constructor) | What4.Expr.Builder, What4.Expr |
| exprType | What4.Interface, What4.Expr.Builder |
| extendConfig | What4.Config |
| extract | What4.Protocol.SMTLib2.Syntax |
| extractCommon | What4.Expr.WeightedSum |