Index - B
| B | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Lex |
| 2 (Data Constructor) | Language.SOAS.Syntax.Lex |
| Binders | Language.SOAS.Syntax.Abs |
| Binders' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| Block | Language.LambdaPi.Syntax.Layout |
| BNFC'NoPosition | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Syntax.Abs |
| BNFC'Position | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 3 (Type/Class) | Language.SOAS.Syntax.Abs |
| 4 (Data Constructor) | Language.SOAS.Syntax.Abs |
| BTree | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Type/Class) | Language.SOAS.Syntax.Lex |
| Byte | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Lex |
| 2 (Type/Class) | Language.SOAS.Syntax.Lex |