| F | Documentation.SBV.Examples.Queries.FourFours |
| f | |
| 1 (Function) | Documentation.SBV.Examples.Uninterpreted.AUF |
| 2 (Function) | Documentation.SBV.Examples.Uninterpreted.Function |
| 3 (Function) | Documentation.SBV.Examples.Uninterpreted.Sort |
| F1 | Documentation.SBV.Examples.BitPrecise.Legato |
| F2 | Documentation.SBV.Examples.BitPrecise.Legato |
| Factorial | Documentation.SBV.Examples.Queries.FourFours |
| false | Data.SBV |
| falseCW | Data.SBV.Internals |
| falseSW | Data.SBV.Internals |
| fastMaxCorrect | Documentation.SBV.Examples.BitPrecise.BitTricks |
| fastMinCorrect | Documentation.SBV.Examples.BitPrecise.BitTricks |
| fastPopCountIsCorrect | Documentation.SBV.Examples.CodeGeneration.PopulationCount |
| fib0 | Documentation.SBV.Examples.CodeGeneration.Fibonacci |
| fib1 | Documentation.SBV.Examples.CodeGeneration.Fibonacci |
| fib2 | Documentation.SBV.Examples.CodeGeneration.Fibonacci |
| fill | Documentation.SBV.Examples.Queries.FourFours |
| find | Documentation.SBV.Examples.Queries.FourFours |
| findDays | Documentation.SBV.Examples.Queries.Enums |
| findHD4Polynomials | Documentation.SBV.Examples.Existentials.CRCPolynomial |
| findInjection | Documentation.SBV.Examples.Strings.SQLInjection |
| FiniteBits | Data.SBV |
| finiteBitSize | Data.SBV |
| Fish | Documentation.SBV.Examples.Puzzles.Fish |
| fishOwner | Documentation.SBV.Examples.Puzzles.Fish |
| Flag | Documentation.SBV.Examples.BitPrecise.Legato |
| FlagC | Documentation.SBV.Examples.BitPrecise.Legato |
| Flags | Documentation.SBV.Examples.BitPrecise.Legato |
| flags | Documentation.SBV.Examples.BitPrecise.Legato |
| FlagZ | Documentation.SBV.Examples.BitPrecise.Legato |
| flash | Documentation.SBV.Examples.Puzzles.U2Bridge |
| flIsCorrect | Documentation.SBV.Examples.BitPrecise.PrefixSum |
| floating | Data.SBV.RegExp |
| Flower | Documentation.SBV.Examples.Puzzles.Garden |
| flowerCount | Documentation.SBV.Examples.Puzzles.Garden |
| Football | Documentation.SBV.Examples.Puzzles.Fish |
| forAll | Data.SBV |
| forall | Data.SBV.Internals, Data.SBV |
| forallDay | Documentation.SBV.Examples.Puzzles.Birthday |
| forallMonth | Documentation.SBV.Examples.Puzzles.Birthday |
| forAll_ | Data.SBV |
| forall_ | Data.SBV.Internals, Data.SBV |
| forceSWArg | Data.SBV.Internals |
| forSome | Data.SBV |
| forSome_ | Data.SBV |
| Forte | Data.SBV.Tools.GenTest |
| four | Documentation.SBV.Examples.Misc.Enumerate |
| fp2fp | Data.SBV.Internals |
| fpAbs | Data.SBV |
| fpAdd | Data.SBV |
| fpCompareObjectH | Data.SBV.Internals |
| fpDiv | Data.SBV |
| fpFMA | Data.SBV |
| fpIsEqualObject | Data.SBV |
| fpIsEqualObjectH | Data.SBV.Internals |
| fpIsInfinite | Data.SBV |
| fpIsNaN | Data.SBV |
| fpIsNegative | Data.SBV |
| fpIsNegativeZero | Data.SBV |
| fpIsNormal | Data.SBV |
| fpIsNormalizedH | Data.SBV.Internals |
| fpIsPoint | Data.SBV |
| fpIsPositive | Data.SBV |
| fpIsPositiveZero | Data.SBV |
| fpIsSubnormal | Data.SBV |
| fpIsZero | Data.SBV |
| fpMax | Data.SBV |
| fpMaxH | Data.SBV.Internals |
| fpMin | Data.SBV |
| fpMinH | Data.SBV.Internals |
| fpMul | Data.SBV |
| fpNeg | Data.SBV |
| FPOp | Data.SBV.Internals |
| fpRatio0 | Data.SBV.Internals |
| fpRem | Data.SBV |
| fpRemH | Data.SBV.Internals |
| fpRound0 | Data.SBV.Internals |
| fpRoundToIntegral | Data.SBV |
| fpRoundToIntegralH | Data.SBV.Internals |
| fpSqrt | Data.SBV |
| fpSub | Data.SBV |
| FP_Abs | Data.SBV.Internals |
| FP_Add | Data.SBV.Internals |
| FP_Cast | Data.SBV.Internals |
| FP_Div | Data.SBV.Internals |
| FP_FMA | Data.SBV.Internals |
| FP_IsInfinite | Data.SBV.Internals |
| FP_IsNaN | Data.SBV.Internals |
| FP_IsNegative | Data.SBV.Internals |
| FP_IsNormal | Data.SBV.Internals |
| FP_IsPositive | Data.SBV.Internals |
| FP_IsSubnormal | Data.SBV.Internals |
| FP_IsZero | Data.SBV.Internals |
| FP_Max | Data.SBV.Internals |
| FP_Min | Data.SBV.Internals |
| FP_Mul | Data.SBV.Internals |
| FP_Neg | Data.SBV.Internals |
| FP_ObjEqual | Data.SBV.Internals |
| FP_Reinterpret | Data.SBV.Internals |
| FP_Rem | Data.SBV.Internals |
| FP_RoundToIntegral | Data.SBV.Internals |
| FP_Sqrt | Data.SBV.Internals |
| FP_Sub | Data.SBV.Internals |
| free | Data.SBV.Internals, Data.SBV |
| free_ | Data.SBV.Internals, Data.SBV |
| freshArray | Data.SBV.Control |
| freshArray_ | Data.SBV.Control |
| freshVar | Data.SBV.Control |
| freshVar_ | Data.SBV.Control |
| Friday | Documentation.SBV.Examples.Queries.Enums |
| fromBitsBE | Data.SBV |
| fromBitsLE | Data.SBV |
| fromBool | Data.SBV |
| fromBytes | Documentation.SBV.Examples.Crypto.AES |
| fromCW | Data.SBV.Internals, Data.SBV |
| fromSDouble | Data.SBV |
| fromSFloat | Data.SBV |
| fullAdder | Data.SBV |
| fullMultiplier | Data.SBV |