Index - U
| UF | Jukebox.UnionFind |
| Unary | Jukebox.Form |
| union | Jukebox.Map |
| unique | |
| 1 (Function) | Jukebox.Seq |
| 2 (Function) | Jukebox.HighSat |
| uniqueId | Jukebox.Name |
| uniqueNames | Jukebox.Form |
| uniquify | Jukebox.Name |
| Unit | Jukebox.Seq |
| unitary | Jukebox.TPTP.ClauseParser |
| unitCost | Jukebox.Clausify |
| Universe | Jukebox.GuessModel |
| universe | Jukebox.GuessModel |
| Unknown | Jukebox.TPTP.Lexer |
| Unpack | Jukebox.Form |
| unsafeClose | Jukebox.Name |
| unsafeMakeName | Jukebox.Name |
| Unsatisfiable | Jukebox.Form |
| unsatisfiable | Jukebox.Form |
| Usage | Jukebox.Options |
| usage | Jukebox.Options |
| usageTool | Jukebox.Options |
| UserState | |
| 1 (Type/Class) | Jukebox.TPTP.Parsec |
| 2 (Data Constructor) | Jukebox.TPTP.Parsec |
| userState | Jukebox.TPTP.Parsec |
| userStream | Jukebox.TPTP.Parsec |
| usort | Jukebox.Utils |