Index - B
| Bottom | Data.FOL.Formula, Data.FOL |
| Box | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| boxBottomLeft | Data.DRS.Show, Data.DRS |
| boxBottomRight | Data.DRS.Show, Data.DRS |
| boxerToDRS | Data.DRS.Input.Boxer, Data.DRS.Input, Data.DRS |
| boxerToPDRS | Data.PDRS.Input.Boxer, Data.PDRS.Input, Data.PDRS |
| Boxes | |
| 1 (Data Constructor) | Data.DRS.Show, Data.DRS |
| 2 (Data Constructor) | Data.PDRS.Show, Data.PDRS |
| boxHorLine | Data.DRS.Show, Data.DRS |
| boxMiddleLeft | Data.DRS.Show, Data.DRS |
| boxMiddleRight | Data.DRS.Show, Data.DRS |
| boxTopLeft | Data.DRS.Show, Data.DRS |
| boxTopRight | Data.DRS.Show, Data.DRS |
| boxVerLine | Data.DRS.Show, Data.DRS |
| brackets | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| BracketType | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |