| false | What4.Protocol.SMTLib2.Syntax |
| falsePred | What4.Interface |
| fileLogEventConsumer | What4.Serialize.Log |
| fillright | What4.Utils.BVDomain.Arith |
| filter | |
| 1 (Function) | What4.Utils.AnnotatedMap |
| 2 (Function) | What4.Expr.ArrayUpdateMap |
| filterAsync | What4.Utils.Process |
| filterGt | What4.Utils.LeqMap |
| filterLt | What4.Utils.LeqMap |
| findExecutable | What4.Utils.Environment |
| findExprToRemove | What4.Expr.App |
| findMax | What4.Utils.LeqMap |
| findMin | What4.Utils.LeqMap |
| findSolverPath | What4.Utils.Process |
| findSubstring | What4.Utils.Word16String |
| FixedPPExpr | What4.Expr.App |
| Flags | What4.Expr.Builder, What4.Expr |
| float | What4.Serialize.SETokens |
| FloatAbs | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatAbs | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatAdd | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatAdd | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatCast | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatCast | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatDiv | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatDiv | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| floatEq | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatExpr | |
| 1 (Data Constructor) | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| 2 (Type/Class) | What4.Expr.App, What4.Expr.Builder |
| FloatFMA | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatFMA | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| floatFpApart | What4.Interface |
| FloatFpEq | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatFpEq | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| floatFpUnordered | What4.Interface |
| FloatFromBinary | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatFromBinary | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| floatFromInteger | What4.Utils.FloatHelpers |
| floatFromRational | What4.Utils.FloatHelpers |
| floatGe | What4.Interface |
| floatGt | What4.Interface |
| FloatIEEE | What4.FloatMode, What4.Expr.Builder, What4.Expr |
| FloatIEEERepr | What4.FloatMode, What4.Expr.Builder, What4.Expr |
| FloatInfo | What4.InterpretedFloatingPoint |
| FloatInfoRepr | What4.InterpretedFloatingPoint |
| FloatInfoToBitWidth | What4.InterpretedFloatingPoint |
| floatInfoToBVTypeRepr | What4.InterpretedFloatingPoint |
| FloatInfoToPrecision | What4.InterpretedFloatingPoint |
| floatInfoToPrecisionRepr | What4.InterpretedFloatingPoint |
| FloatingPoint | What4.Protocol.SMTLib2.Parse |
| FloatingPointPrecision | What4.BaseTypes, What4.Interface |
| FloatingPointPrecisionRepr | What4.BaseTypes, What4.Interface |
| FloatingPointTheory | What4.Expr.AppTheory, What4.Expr |
| FloatIsInf | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatIsInf | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatIsNaN | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatIsNaN | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatIsNeg | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatIsNeg | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatIsNorm | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatIsNorm | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatIsPos | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatIsPos | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatIsSubnorm | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatIsSubnorm | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatIsZero | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatIsZero | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| floatIte | What4.Interface |
| FloatLe | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatLe | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| floatLit | What4.Interface |
| floatLitRational | What4.Interface |
| FloatLt | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatLt | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| floatMax | What4.Interface |
| floatMin | What4.Interface |
| FloatMode | What4.FloatMode, What4.Expr.Builder, What4.Expr |
| FloatModeRepr | What4.FloatMode, What4.Expr.Builder, What4.Expr |
| FloatMul | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatMul | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| floatNaN | What4.Interface |
| floatNe | What4.Interface |
| FloatNeg | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatNeg | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| floatNInf | What4.Interface |
| floatNZero | What4.Interface |
| floatPInf | What4.Interface |
| FloatPrecision | What4.BaseTypes, What4.Interface |
| floatPrecision | What4.Interface |
| FloatPrecisionBits | What4.BaseTypes, What4.Interface |
| FloatPrecisionRepr | What4.BaseTypes, What4.Interface |
| floatPrecisionToBVType | What4.BaseTypes, What4.Interface |
| FloatPrecisionToInfo | What4.InterpretedFloatingPoint |
| floatPrecisionToInfoRepr | What4.InterpretedFloatingPoint |
| floatPZero | What4.Interface |
| FloatReal | What4.FloatMode, What4.Expr.Builder, What4.Expr |
| FloatRealRepr | What4.FloatMode, What4.Expr.Builder, What4.Expr |
| FloatRem | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatRem | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatRound | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatRound | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| floatRoundToInt | What4.Utils.FloatHelpers |
| FloatSpecialFunction | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatSpecialFunction | What4.Interface |
| FloatSqrt | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatSqrt | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatSub | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatSub | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| floatTerm | What4.Protocol.SMTWriter |
| FloatToBinary | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatToBinary | What4.Interface |
| FloatToBV | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatToBV | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| floatToInteger | What4.Utils.FloatHelpers |
| floatToRational | What4.Utils.FloatHelpers |
| FloatToReal | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatToReal | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatToSBV | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| floatToSBV | |
| 1 (Function) | What4.Interface |
| 2 (Function) | What4.Protocol.SMTWriter |
| FloatTypeMap | What4.Protocol.SMTWriter |
| FloatUninterpreted | What4.FloatMode, What4.Expr.Builder, What4.Expr |
| FloatUninterpretedRepr | What4.FloatMode, What4.Expr.Builder, What4.Expr |
| FloorReal | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| FnApp | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| fnArgTypes | What4.Interface |
| FnArrayTypeMap | What4.Protocol.SMTWriter |
| fnCompare | What4.Interface |
| fnReturnType | What4.Interface |
| FnSymbolBinding | What4.Expr.Builder |
| fnTestEquality | What4.Interface |
| FnTheory | What4.Expr.AppTheory, What4.Expr |
| foldl' | What4.Utils.Word16String |
| foldlWithKey' | What4.Utils.LeqMap |
| Forall | What4.Expr.App, What4.Expr.Builder, What4.Expr |
| ForallBound | What4.Expr.VarIdentification |
| forallExpr | What4.Protocol.SMTWriter |
| forallPred | What4.Interface |
| forallQuantifiers | What4.Expr.VarIdentification |
| forall_ | What4.Protocol.SMTLib2.Syntax |
| forgetModelAndCore | What4.SatResult, What4.Solver |
| fp80ToBits | What4.InterpretedFloatingPoint |
| fp80ToRational | What4.InterpretedFloatingPoint |
| fpAbs | What4.SFloat |
| fpActual | What4.SFloat |
| fpAdd | What4.SFloat |
| fpAsLit | What4.SFloat |
| fpDiv | What4.SFloat |
| fpEq | What4.SFloat |
| fpEqIEEE | What4.SFloat |
| fpExpected | What4.SFloat |
| fpFMA | What4.SFloat |
| fpFresh | What4.SFloat |
| fpFromBinary | What4.SFloat |
| fpFromInteger | What4.SFloat |
| fpFromLit | What4.SFloat |
| fpFromRational | What4.SFloat |
| fpFromRationalLit | What4.SFloat |
| fpFromReal | What4.SFloat |
| fpGtIEEE | What4.SFloat |
| fpIsInf | What4.SFloat |
| fpIsNaN | What4.SFloat |
| fpIsNeg | What4.SFloat |
| fpIsNorm | What4.SFloat |
| fpIsSubnorm | What4.SFloat |
| fpIsZero | What4.SFloat |
| fpIte | What4.SFloat |
| fpLtIEEE | What4.SFloat |
| fpMax | What4.SFloat |
| fpMin | What4.SFloat |
| fpMul | What4.SFloat |
| fpNaN | What4.SFloat |
| fpNeg | What4.SFloat |
| fpNegInf | What4.SFloat |
| fpOpts | What4.Utils.FloatHelpers |
| fppOpts | What4.Utils.FloatHelpers |
| fpPosInf | What4.SFloat |
| fpRepr | What4.SFloat |
| fpReprOf | What4.SFloat |
| fpRound | What4.SFloat |
| fpSize | What4.SFloat |
| fpSqrt | What4.SFloat |
| fpSub | What4.SFloat |
| fpToBinary | What4.SFloat |
| fpToRational | What4.SFloat |
| fpToReal | What4.SFloat |
| FPTypeError | |
| 1 (Type/Class) | What4.SFloat |
| 2 (Data Constructor) | What4.SFloat |
| fpWho | What4.SFloat |
| freshBoundedBV | What4.Interface |
| freshBoundedInt | What4.Interface |
| freshBoundedNat | What4.Interface |
| freshBoundedReal | What4.Interface |
| freshBoundedSBV | What4.Interface |
| freshBoundVar | What4.Interface |
| freshBoundVarName | What4.Protocol.SMTWriter |
| freshBV | What4.SWord |
| freshConstant | What4.Interface |
| freshFloatBoundVar | What4.InterpretedFloatingPoint |
| freshFloatConstant | What4.InterpretedFloatingPoint |
| freshFloatLatch | What4.InterpretedFloatingPoint |
| freshIdentifier | What4.Protocol.VerilogWriter.AST |
| freshLatch | What4.Interface |
| freshNat | What4.Interface |
| freshTotalUninterpFn | What4.Interface |
| fromAscEltList | |
| 1 (Function) | What4.Utils.BVDomain.Arith |
| 2 (Function) | What4.Utils.BVDomain |
| fromAscList | |
| 1 (Function) | What4.Utils.AnnotatedMap |
| 2 (Function) | What4.Expr.ArrayUpdateMap |
| fromChar16Lit | What4.Utils.StringLiteral |
| fromChar8Lit | What4.Utils.StringLiteral |
| fromConcreteBool | What4.Concrete |
| fromConcreteBV | What4.Concrete |
| fromConcreteComplex | What4.Concrete |
| fromConcreteInteger | What4.Concrete |
| fromConcreteReal | What4.Concrete |
| fromConcreteString | What4.Concrete |
| fromDistinctAscList | What4.Utils.LeqMap |
| fromDistinctDescList | What4.Utils.LeqMap |
| fromLEByteString | What4.Utils.Word16String |
| fromTerms | What4.Expr.WeightedSum |
| fromText | What4.Protocol.SMTWriter |
| fromUnicodeLit | What4.Utils.StringLiteral |
| fromVars | What4.Expr.BoolMap |
| fromXorDomain | What4.Utils.BVDomain |
| fromYicesText | What4.Protocol.PolyRoot |
| funArgs | What4.Protocol.SMTLib2.Parse |
| FunctionDefinition | What4.Protocol.SMTWriter |
| FunctionName | What4.FunctionName |
| functionName | What4.FunctionName |
| functionNameFromText | What4.FunctionName |
| FunctionSymmetry | What4.SpecialFunctions |
| funDef | What4.Protocol.SMTLib2.Parse |
| funResultSort | What4.Protocol.SMTLib2.Parse |
| funSymbol | What4.Protocol.SMTLib2.Parse |