| U | Documentation.SBV.Examples.Queries.FourFours |
| u0 | Documentation.SBV.Examples.Crypto.AES |
| u0Func | Documentation.SBV.Examples.Crypto.AES |
| u1 | Documentation.SBV.Examples.Crypto.AES |
| u2 | Documentation.SBV.Examples.Crypto.AES |
| U2Member | Documentation.SBV.Examples.Puzzles.U2Bridge |
| u3 | Documentation.SBV.Examples.Crypto.AES |
| ucCore | Documentation.SBV.Examples.Queries.UnsatCore |
| UFLRA | Data.SBV.Trans, Data.SBV |
| UFNIA | Data.SBV.Trans, Data.SBV |
| Unbounded | Data.SBV.Tools.Range |
| uncache | Data.SBV.Internals |
| uncacheAI | Data.SBV.Internals |
| uncons | |
| 1 (Function) | Data.SBV.String |
| 2 (Function) | Data.SBV.List |
| UNeg | Data.SBV.Internals |
| unEval | Documentation.SBV.Examples.Transformers.SymbolicEval |
| uninterpret | Data.SBV.Trans, Data.SBV |
| Uninterpreted | |
| 1 (Data Constructor) | Data.SBV.Internals |
| 2 (Type/Class) | Data.SBV.Trans, Data.SBV |
| Union | Data.SBV.RegExp, Data.SBV.Internals |
| union | Data.SBV.Set |
| unions | Data.SBV.Set |
| universal | |
| 1 (Function) | Data.SBV.Set |
| 2 (Function) | Documentation.SBV.Examples.Uninterpreted.Shannon |
| univOK | Documentation.SBV.Examples.Uninterpreted.Shannon |
| Unk | Data.SBV.Trans.Control, Data.SBV.Control |
| Unknown | Data.SBV.Internals, Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic |
| UnknownIncomplete | Data.SBV.Trans, Data.SBV |
| UnknownMemOut | Data.SBV.Trans, Data.SBV |
| UnknownOther | Data.SBV.Trans, Data.SBV |
| UnknownTimeOut | Data.SBV.Trans, Data.SBV |
| unliteral | Data.SBV.Internals, Data.SBV.Trans, Data.SBV |
| UnOp | Documentation.SBV.Examples.Queries.FourFours |
| unsafeCastSBV | Documentation.SBV.Examples.Transformers.SymbolicEval |
| unsafeShiftL | Data.SBV.Trans, Data.SBV |
| unsafeShiftR | Data.SBV.Trans, Data.SBV |
| unSArray | Data.SBV.Internals |
| Unsat | Data.SBV.Trans.Control, Data.SBV.Control |
| Unsatisfiable | Data.SBV.Internals, Data.SBV.Trans, Data.SBV, Data.SBV.Dynamic |
| unSBox | Documentation.SBV.Examples.Crypto.AES |
| unSBoxTable | Documentation.SBV.Examples.Crypto.AES |
| unSBV | Data.SBV.Internals |
| unSFunArray | Data.SBV.Internals |
| Unstable | Data.SBV.Tools.WeakestPreconditions |
| untuple | Data.SBV.Tuple |
| unzipPL | Documentation.SBV.Examples.BitPrecise.PrefixSum |
| usb5 | Documentation.SBV.Examples.CodeGeneration.CRC_USB5 |