| backendPred | What4.Interface |
| BaseArrayRepr | What4.BaseTypes, What4.Interface |
| BaseArrayType | What4.BaseTypes, What4.Interface |
| BaseBoolRepr | What4.BaseTypes, What4.Interface |
| BaseBoolType | What4.BaseTypes, What4.Interface |
| BaseBVRepr | What4.BaseTypes, What4.Interface |
| BaseBVType | What4.BaseTypes, What4.Interface |
| BaseComplexRepr | What4.BaseTypes, What4.Interface |
| BaseComplexType | What4.BaseTypes, What4.Interface |
| baseDefaultValue | What4.Interface |
| BaseEq | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| BaseFloatRepr | What4.BaseTypes, What4.Interface |
| BaseFloatType | What4.BaseTypes, What4.Interface |
| BaseIntegerRepr | What4.BaseTypes, What4.Interface |
| BaseIntegerType | What4.BaseTypes, What4.Interface |
| baseIsConcrete | What4.Interface |
| BaseIte | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| BaseRealRepr | What4.BaseTypes, What4.Interface |
| BaseRealType | What4.BaseTypes, What4.Interface |
| BaseStringRepr | What4.BaseTypes, What4.Interface |
| BaseStringType | What4.BaseTypes, What4.Interface |
| BaseStructRepr | What4.BaseTypes, What4.Interface |
| BaseStructType | What4.BaseTypes, What4.Interface |
| BaseType | What4.BaseTypes, What4.Interface |
| baseTypeIte | What4.Interface |
| BaseTypeRepr | What4.BaseTypes, What4.Interface |
| bfStatus | What4.Utils.FloatHelpers |
| BigEndian | What4.Utils.Endian |
| BinaryPos | What4.ProgramLoc |
| bindVarAsFree | What4.Protocol.SMTWriter |
| Binop | |
| 1 (Data Constructor) | What4.Protocol.VerilogWriter.AST |
| 2 (Type/Class) | What4.Protocol.VerilogWriter.AST |
| binop | What4.Protocol.VerilogWriter.AST |
| binopDoc | What4.Protocol.VerilogWriter.ABCVerilog |
| binopType | What4.Protocol.VerilogWriter.AST |
| bin_app | What4.Protocol.SMTLib2.Syntax |
| Bit | What4.Protocol.VerilogWriter.AST |
| bit | What4.Protocol.VerilogWriter.AST |
| bit0 | What4.Protocol.SMTLib2.Syntax |
| bit1 | What4.Protocol.SMTLib2.Syntax |
| bitbounds | |
| 1 (Function) | What4.Utils.BVDomain.Arith |
| 2 (Function) | What4.Utils.BVDomain.Bitwise, What4.Utils.BVDomain |
| 3 (Function) | What4.Utils.BVDomain.XOR |
| bitle | What4.Utils.BVDomain.Bitwise |
| BitSelect | What4.Protocol.VerilogWriter.AST |
| bitSelect | What4.Protocol.VerilogWriter.AST |
| BitVec | What4.Protocol.SMTLib2.Parse |
| BitvectorTheory | What4.Expr.AppTheory, What4.Expr |
| bitwiseRoundAbove | What4.Utils.BVDomain |
| bitwiseRoundBetween | What4.Utils.BVDomain |
| bitwiseToXorDomain | What4.Utils.BVDomain |
| Bool | What4.Protocol.SMTLib2.Parse |
| Boolector | |
| 1 (Type/Class) | What4.Solver.Boolector, What4.Solver |
| 2 (Data Constructor) | What4.Solver.Boolector, What4.Solver |
| boolectorAdapter | What4.Solver.Boolector, What4.Solver |
| boolectorFeatures | What4.Solver.Boolector, What4.Solver |
| boolectorOptions | What4.Solver.Boolector, What4.Solver |
| boolectorPath | What4.Solver.Boolector, What4.Solver |
| BoolExpr | |
| 1 (Type/Class) | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| 2 (Data Constructor) | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| boolExpr | What4.Protocol.SMTWriter |
| BoolLit | What4.Protocol.VerilogWriter.AST |
| BoolMap | What4.Expr.BoolMap |
| BoolMapDualUnit | What4.Expr.BoolMap |
| BoolMapTerms | What4.Expr.BoolMap |
| BoolMapUnit | What4.Expr.BoolMap |
| BoolMapView | What4.Expr.BoolMap |
| boolOptSty | What4.Config |
| BoolOrFn | What4.Expr.MATLAB |
| BoolProperty | Test.Verification |
| boolSort | What4.Protocol.SMTLib2.Syntax |
| BoolTheory | What4.Expr.AppTheory, What4.Expr |
| BoolTypeMap | What4.Protocol.SMTWriter |
| Bound | What4.Config |
| boundInnerTerm | What4.Expr.VarIdentification |
| BoundQuant | What4.Expr.VarIdentification |
| boundQuant | What4.Expr.VarIdentification |
| boundTopTerm | What4.Expr.VarIdentification |
| BoundVar | What4.Interface |
| boundVar | What4.Expr.VarIdentification |
| BoundVarExpr | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| BoundVarMap | What4.Expr.App |
| boundVars | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| boundVars' | What4.Expr.App |
| builder_list | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.Protocol.SMTWriter |
| BVAdd | What4.Protocol.VerilogWriter.AST |
| bvAdd | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| 3 (Function) | What4.Protocol.SMTWriter |
| bvadd | What4.Protocol.SMTLib2.Syntax |
| BVAnd | What4.Protocol.VerilogWriter.AST |
| bvAnd | |
| 1 (Function) | What4.SWord |
| 2 (Function) | What4.Protocol.SMTWriter |
| bvand | What4.Protocol.SMTLib2.Syntax |
| bvAndBits | What4.Interface |
| BVar | What4.Expr.App |
| bvarAbstractValue | What4.Expr.App, What4.Expr.Builder |
| bvarId | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| BVArith | What4.SemiRing |
| BVArithRepr | What4.SemiRing, What4.Expr |
| bvarKind | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvarLoc | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvarName | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvarType | What4.Expr.App, What4.Expr.Builder |
| BVAshr | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvAshr | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| 3 (Function) | What4.Protocol.SMTWriter |
| bvashr | What4.Protocol.SMTLib2.Syntax |
| bvAsSignedInteger | What4.SWord |
| bvAsUnsignedInteger | What4.SWord |
| bvAtBE | What4.SWord |
| bvAtLE | What4.SWord |
| bvbinary | What4.Protocol.SMTLib2.Syntax |
| BVBitInterval | What4.Utils.BVDomain.Bitwise |
| bvBitreverse | What4.Interface |
| BVBits | What4.SemiRing |
| BVBitsRepr | What4.SemiRing, What4.Expr |
| BVConcat | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvConcat | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| BVConst | |
| 1 (Type/Class) | What4.Protocol.VerilogWriter.AST |
| 2 (Data Constructor) | What4.Protocol.VerilogWriter.AST |
| BVCountLeadingZeros | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvCountLeadingZeros | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| BVCountTrailingZeros | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvCountTrailingZeros | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| BVDAny | What4.Utils.BVDomain.Arith |
| BVDArith | What4.Utils.BVDomain |
| BVDBitwise | What4.Utils.BVDomain |
| bvdecimal | What4.Protocol.SMTLib2.Syntax |
| BVDInterval | What4.Utils.BVDomain.Arith |
| BVDiv | What4.Protocol.VerilogWriter.AST |
| bvdMask | |
| 1 (Function) | What4.Utils.BVDomain.Arith |
| 2 (Function) | What4.Utils.BVDomain.Bitwise |
| 3 (Function) | What4.Utils.BVDomain.XOR |
| BVDomain | What4.Utils.BVDomain |
| bvdomainRangeLimitOption | What4.Expr.Builder |
| BVDXor | What4.Utils.BVDomain.XOR |
| bvEq | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| BVExpr | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvExtract | What4.Protocol.SMTWriter |
| BVFill | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvFill | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| BVFlavor | What4.SemiRing, What4.Expr |
| BVFlavorRepr | What4.SemiRing, What4.Expr |
| bvForall | What4.SWord |
| bvhexadecimal | What4.Protocol.SMTLib2.Syntax |
| BVI | What4.Expr.VarIdentification |
| BVIndexLit | What4.IndexLit, What4.Interface, What4.Expr.Builder |
| bvIsNeg | What4.Interface |
| bvIsNonzero | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| BVIsNonZeroFn | What4.Expr.MATLAB |
| bvIte | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| bvJoin | What4.SWord |
| bvJoinVector | What4.Interface |
| bvLg2 | What4.SWord |
| BVLit | What4.Protocol.VerilogWriter.AST |
| bvLit | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| BVLshr | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvLshr | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| 3 (Function) | What4.Protocol.SMTWriter |
| bvlshr | What4.Protocol.SMTLib2.Syntax |
| BVMul | What4.Protocol.VerilogWriter.AST |
| bvMul | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| 3 (Function) | What4.Protocol.SMTWriter |
| bvmul | What4.Protocol.SMTLib2.Syntax |
| bvNe | What4.Interface |
| bvNeg | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| 3 (Function) | What4.Protocol.SMTWriter |
| bvneg | What4.Protocol.SMTLib2.Syntax |
| BVNot | What4.Protocol.VerilogWriter.AST |
| bvNot | |
| 1 (Function) | What4.SWord |
| 2 (Function) | What4.Protocol.SMTWriter |
| bvnot | What4.Protocol.SMTLib2.Syntax |
| bvNotBits | What4.Interface |
| BVOr | What4.Protocol.VerilogWriter.AST |
| bvOr | |
| 1 (Function) | What4.SWord |
| 2 (Function) | What4.Protocol.SMTWriter |
| bvor | What4.Protocol.SMTLib2.Syntax |
| bvOrAbs | What4.Expr.App, What4.Expr.Builder |
| BVOrBits | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvOrBits | What4.Interface |
| bvOrContains | What4.Expr.App |
| bvOrInsert | What4.Expr.App, What4.Expr.Builder |
| BVOrNote | |
| 1 (Type/Class) | What4.Expr.App |
| 2 (Data Constructor) | What4.Expr.App |
| BVOrSet | |
| 1 (Type/Class) | What4.Expr.App, What4.Expr.Builder |
| 2 (Data Constructor) | What4.Expr.App |
| bvOrSingleton | What4.Expr.App, What4.Expr.Builder |
| bvOrToList | What4.Expr.App, What4.Expr.Builder |
| bvOrUnion | What4.Expr.App, What4.Expr.Builder |
| bvPackBE | What4.SWord |
| bvPackLE | What4.SWord |
| BVPopcount | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvPopcount | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| BVPow | What4.Protocol.VerilogWriter.AST |
| BVRem | What4.Protocol.VerilogWriter.AST |
| BVRol | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvRol | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| BVRor | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvRor | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| BVRotateL | What4.Protocol.VerilogWriter.AST |
| BVRotateR | What4.Protocol.VerilogWriter.AST |
| BVSdiv | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvSDiv | |
| 1 (Function) | What4.SWord |
| 2 (Function) | What4.Protocol.SMTWriter |
| bvSdiv | What4.Interface |
| bvsdiv | What4.Protocol.SMTLib2.Syntax |
| BVSelect | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvSelect | What4.Interface |
| bvSet | What4.Interface |
| bvSetBE | What4.SWord |
| bvSetLE | What4.SWord |
| BVSext | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvSext | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| bvSge | What4.Interface |
| bvsge | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.SWord |
| bvSgt | What4.Interface |
| bvsgt | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.SWord |
| BVShiftL | What4.Protocol.VerilogWriter.AST |
| BVShiftR | What4.Protocol.VerilogWriter.AST |
| BVShiftRA | What4.Protocol.VerilogWriter.AST |
| BVShl | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvShl | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| 3 (Function) | What4.Protocol.SMTWriter |
| bvshl | What4.Protocol.SMTLib2.Syntax |
| bvsignExtend | What4.Protocol.SMTLib2.Syntax |
| bvSLe | What4.Protocol.SMTWriter |
| bvSle | What4.Interface |
| bvsle | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.SWord |
| bvSliceBE | What4.SWord |
| bvSliceLE | What4.SWord |
| BVSlt | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvSLt | What4.Protocol.SMTWriter |
| bvSlt | What4.Interface |
| bvslt | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.SWord |
| bvSort | What4.Protocol.SMTLib2.Syntax |
| bvSplitVector | What4.Interface |
| BVSrem | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvSRem | |
| 1 (Function) | What4.SWord |
| 2 (Function) | What4.Protocol.SMTWriter |
| bvSrem | What4.Interface |
| bvsrem | What4.Protocol.SMTLib2.Syntax |
| BVSub | What4.Protocol.VerilogWriter.AST |
| bvSub | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| 3 (Function) | What4.Protocol.SMTWriter |
| bvsub | What4.Protocol.SMTLib2.Syntax |
| bvSum | What4.Expr.Builder |
| bvSumExpr | What4.Protocol.SMTWriter |
| bvSwap | What4.Interface |
| BVTerm | What4.Protocol.SMTLib2.Parse |
| bvTerm | What4.Protocol.SMTWriter |
| BVTestBit | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvTestBit | What4.Protocol.SMTWriter |
| BVToFloat | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvToFloat | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| BVToInteger | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvToInteger | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |
| BVToIntegerFn | What4.Expr.MATLAB |
| bvToNat | What4.Interface |
| bvTrunc | What4.Interface |
| BVTypeMap | What4.Protocol.SMTWriter |
| BVUdiv | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvUDiv | |
| 1 (Function) | What4.SWord |
| 2 (Function) | What4.Protocol.SMTWriter |
| bvUdiv | What4.Interface |
| bvudiv | What4.Protocol.SMTLib2.Syntax |
| bvUge | What4.Interface |
| bvuge | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.SWord |
| bvUgt | What4.Interface |
| bvugt | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.SWord |
| bvULe | What4.Protocol.SMTWriter |
| bvUle | What4.Interface |
| bvule | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.SWord |
| BVUlt | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvULt | What4.Protocol.SMTWriter |
| bvUlt | What4.Interface |
| bvult | |
| 1 (Function) | What4.Protocol.SMTLib2.Syntax |
| 2 (Function) | What4.SWord |
| bvUnary | What4.Expr.Builder |
| BVUnaryTerm | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvUnpackBE | What4.SWord |
| bvUnpackLE | What4.SWord |
| BVUrem | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvURem | |
| 1 (Function) | What4.SWord |
| 2 (Function) | What4.Protocol.SMTWriter |
| bvUrem | What4.Interface |
| bvurem | What4.Protocol.SMTLib2.Syntax |
| bvWidth | |
| 1 (Function) | What4.Interface, What4.Expr.Builder |
| 2 (Function) | What4.SWord |
| BVXor | What4.Protocol.VerilogWriter.AST |
| bvXor | |
| 1 (Function) | What4.SWord |
| 2 (Function) | What4.Protocol.SMTWriter |
| bvxor | What4.Protocol.SMTLib2.Syntax |
| bvXorBits | What4.Interface |
| bvzeroExtend | What4.Protocol.SMTLib2.Syntax |
| BVZext | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| bvZext | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.SWord |