Index - B
| before | Scyther.Event, Scyther.Facts |
| begin | Scyther.Theory.Lexer |
| beginComment | Scyther.Theory.Lexer |
| betweenKWs | Scyther.Theory.Parser |
| blue | Data.Color |
| BoundedDFS | |
| 1 (Type/Class) | Control.Monad.BoundedDFS |
| 2 (Data Constructor) | Control.Monad.BoundedDFS |
| braced | Scyther.Theory.Parser |
| braces | Text.PrettyPrint.Class, Text.Isar |
| brackets | |
| 1 (Function) | Text.PrettyPrint.Class, Text.Isar |
| 2 (Function) | Scyther.Theory.Parser |
| BranchAndBound | |
| 1 (Type/Class) | Control.Monad.BoundedDFS |
| 2 (Data Constructor) | Control.Monad.BoundedDFS |