Index - B
| bchopAlts | Language.Fixpoint.Misc |
| BindEnv | Language.Fixpoint.Types |
| BindId | Language.Fixpoint.Types |
| bindP | Language.Fixpoint.Parse |
| bitVecName | Language.Fixpoint.Names |
| blanks | Language.Fixpoint.Parse |
| boolConName | Language.Fixpoint.Names |
| boolFTyCon | Language.Fixpoint.Types |
| Bop | Language.Fixpoint.Types |
| bot | Language.Fixpoint.Types |
| boxStrCat | Language.Fixpoint.Misc |
| braces | Language.Fixpoint.Parse |
| brackets | Language.Fixpoint.Parse |
| Brel | Language.Fixpoint.Types |
| bs | Language.Fixpoint.Types, Language.Fixpoint.Interface |
| Bv | |
| 1 (Type/Class) | Language.Fixpoint.Bitvector |
| 2 (Data Constructor) | Language.Fixpoint.Bitvector |
| BvAnd | Language.Fixpoint.Bitvector |
| bvAndName | Language.Fixpoint.Names |
| BvOp | Language.Fixpoint.Bitvector |
| BvOr | Language.Fixpoint.Bitvector |
| bvOrName | Language.Fixpoint.Names |
| BvSize | Language.Fixpoint.Bitvector |
| bvTyCon | Language.Fixpoint.Bitvector |