| U | Data.SBV.Examples.Queries.FourFours |
| u0 | Data.SBV.Examples.Crypto.AES |
| u0Func | Data.SBV.Examples.Crypto.AES |
| u1 | Data.SBV.Examples.Crypto.AES |
| u2 | Data.SBV.Examples.Crypto.AES |
| U2Member | Data.SBV.Examples.Puzzles.U2Bridge |
| u3 | Data.SBV.Examples.Crypto.AES |
| ucCore | Data.SBV.Examples.Queries.UnsatCore |
| UFLRA | Data.SBV.Control |
| UFNIA | Data.SBV.Control |
| uncache | Data.SBV.Internals |
| uncacheAI | Data.SBV.Internals |
| UNeg | Data.SBV.Internals |
| uninterpret | Data.SBV |
| Uninterpreted | |
| 1 (Data Constructor) | Data.SBV.Internals |
| 2 (Type/Class) | Data.SBV |
| universal | Data.SBV.Examples.Uninterpreted.Shannon |
| univOK | Data.SBV.Examples.Uninterpreted.Shannon |
| Unk | Data.SBV.Control |
| Unknown | Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| UnknownIncomplete | Data.SBV.Control |
| UnknownMemOut | Data.SBV.Control |
| UnknownOther | Data.SBV.Control |
| unliteral | Data.SBV.Internals, Data.SBV |
| UnOp | Data.SBV.Examples.Queries.FourFours |
| unsafeShiftL | Data.SBV |
| unsafeShiftR | Data.SBV |
| unSArray | Data.SBV.Internals |
| Unsat | Data.SBV.Control |
| Unsatisfiable | Data.SBV.Internals, Data.SBV, Data.SBV.Dynamic |
| unSBox | Data.SBV.Examples.Crypto.AES |
| unSBoxTable | Data.SBV.Examples.Crypto.AES |
| unSBV | Data.SBV.Internals |
| unzipPL | Data.SBV.Examples.BitPrecise.PrefixSum |
| usb5 | Data.SBV.Examples.CodeGeneration.CRC_USB5 |