Index - B
| base | Jukebox.Name |
| baseName | Jukebox.Name |
| between | Jukebox.TPTP.Parsec |
| Binary | Jukebox.Form |
| Bind | |
| 1 (Type/Class) | Jukebox.Form |
| 2 (Data Constructor) | Jukebox.Form |
| bind | Jukebox.Form |
| Bind_ | Jukebox.Form |
| binExpr | Jukebox.TPTP.ClauseParser |
| bool | Jukebox.Options |
| bottom3 | Jukebox.Sat3 |
| bracks | Jukebox.TPTP.ClauseParser |